Cduce_mktop produce a customized cduce toplevel/compiler.
cduce_mktop [target] [primitive file]
See the CDuce users' manual:
http://www.cduce.org/manual_interfacewithocaml.html#link.
Alain Frisch <[email protected]>.