Next Contents

1.1   Camlp4 predefined files

The system provides some files, installed in Camlp4 library directory (depending on the installation, usually /usr/local/lib/camlp4: in the whole document, this directory is named camlp4-lib-dir). The provided files are:

Other predefined files allow to extend parsing and printing operations:

Some shortcut commands are provided:
Next Contents