dedukti

The Dedukti logical framework
IN THIS PACKAGE
Module Pp
val name : unit -> Basic.mident
val print_db_enabled : bool ref
val print_default : bool ref
val print_ident : Basic.ident Basic.printer
val print_mident : Basic.mident Basic.printer
val print_name : Basic.name Basic.printer
val print_term : Term.term Basic.printer
val print_pattern : Rule.pattern Basic.printer
val print_untyped_rule : Rule.untyped_rule Basic.printer
val print_typed_rule : Rule.typed_rule Basic.printer
val print_rule_infos : Rule.rule_infos Basic.printer
val print_typed_context : Term.typed_context Basic.printer
val print_red_cfg : Reduction.red_cfg Basic.printer
val print_entry : Entry.entry Basic.printer
val print_list : string -> 'a Basic.printer -> 'a list Basic.printer