Query: cduce_mktop
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
cduce_mktop(1) General Commands Manual cduce_mktop(1)NAMEcduce_mktop -- Produce a customized CDuce toplevel/compiler.SYNOPSIScduce_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>. cduce_mktop(1)