cduce_mktop

Langue: en

Version: 110690 (mandriva - 01/05/08)

Section: 1 (Commandes utilisateur)

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>.