man cduce_mktop (Commandes) - Produce a customized CDuce toplevel/compiler.
NAME
cduce_mktop - Produce a customized CDuce toplevel/compiler.
SYNOPSIS
cduce_mktop [target] [primitive file]
Description
See the CDuce users' manual: http://www.cduce.org/manual_interfacewithocaml.html#link.
Author
Alain Frisch <Alain.Frisch@ens.fr>.