package dedukti
On This Page
An implementation of The Lambda-Pi Modulo Theory
Install
dune-project
Dependency
Authors
Maintainers
Sources
v2.7.tar.gz
sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c
sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c
doc/dedukti.api/Api/Pp/module-type-Printer/index.html
Module type Pp.PrinterSource
Printing functions
val print_list :
string ->
'a Kernel.Basic.printer ->
'a list Kernel.Basic.printerprint_list sep printer returns a printer for 'a list using printer as element printer and sep as separator between elements.
val print_ident : Kernel.Basic.ident Kernel.Basic.printerval print_mident : Kernel.Basic.mident Kernel.Basic.printerval print_name : Kernel.Basic.name Kernel.Basic.printerval print_term : Kernel.Term.term Kernel.Basic.printerval print_typed_context : Kernel.Term.typed_context Kernel.Basic.printerval print_err_ctxt : Kernel.Term.typed_context Kernel.Basic.printerval print_pattern : Kernel.Rule.pattern Kernel.Basic.printerval print_untyped_rule : 'a Kernel.Rule.rule Kernel.Basic.printerval print_typed_rule : Kernel.Rule.typed_rule Kernel.Basic.printerval print_rule_infos : Kernel.Rule.rule_infos Kernel.Basic.printerval print_rule_name : Kernel.Rule.rule_name Kernel.Basic.printerval print_red_cfg : Kernel.Reduction.red_cfg Kernel.Basic.printerval print_entry : Parsers.Entry.entry Kernel.Basic.printerval print_staticity : Kernel.Signature.staticity Kernel.Basic.printerOn This Page