Module Api.PpSource

Pretty printing.

Sourceval print_db_enabled : bool ref

This function is here for debug purposes. It prints terms with De Bruijn indices. The terms output this way cannot be parsed again.

Sourceval print_default_name : bool ref

Names for rules are optional. If this option is set to true, the printing functions will output default rule names given by Dedukti.

Sourceval print_module_name : bool ref
Sourcemodule type Sig = sig ... end
Sourcemodule type Printer = sig ... end
Sourcemodule Make (S : Sig) : Printer