package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val name : unit -> Basic.midentval print_ident : Basic.ident Basic.printerval print_mident : Basic.mident Basic.printerval print_name : Basic.name Basic.printerval print_term : Term.term Basic.printerval print_pattern : Rule.pattern Basic.printerval print_untyped_rule : Rule.untyped_rule Basic.printerval print_typed_rule : Rule.typed_rule Basic.printerval print_rule_infos : Rule.rule_infos Basic.printerval print_typed_context : Term.typed_context Basic.printerval print_red_cfg : Reduction.red_cfg Basic.printerval print_entry : Entry.entry Basic.printerval print_list : string -> 'a Basic.printer -> 'a list Basic.printer