Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Pretty printing.
val print_db_enabled : bool refThis function is here for debug purposes. It prints terms with De Bruijn indices. The terms output this way cannot be parsed again.
val print_default_name : bool refNames for rules are optional. If this option is set to true, the printing functions will output default rule names given by Dedukti.
val print_module_name : bool refmodule type Sig = sig ... endmodule type Printer = sig ... end