cduce_mktop(1)

1cduce_mktop(1)              General Commands Manual             cduce_mktop(1)
2
3
4

NAME

6       cduce_mktop — Produce a customized CDuce toplevel/compiler.
7

9       cduce_mktop [target]  [primitive file]
10

12       See the CDuce users' manual:
13
14       http://www.cduce.org/manual_interfacewithocaml.html#link.
15

17       Alain Frisch <Alain.Frisch@ens.fr>.
18
19
20
21                                                                cduce_mktop(1)