package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

An implementation of The Lambda-Pi Modulo Theory

Install

sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c

sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c

val print_list : 
  string ->
  'a Kernel.Basic.printer ->
  'a list Kernel.Basic.printer

print_list sep printer returns a printer for 'a list using printer as element printer and sep as separator between elements.

Sourceval print_ident : Kernel.Basic.ident Kernel.Basic.printer

Sourceval print_mident : Kernel.Basic.mident Kernel.Basic.printer

Sourceval print_name : Kernel.Basic.name Kernel.Basic.printer

Sourceval print_term : Kernel.Term.term Kernel.Basic.printer

Sourceval print_typed_context : Kernel.Term.typed_context Kernel.Basic.printer

Sourceval print_err_ctxt : Kernel.Term.typed_context Kernel.Basic.printer

Sourceval print_pattern : Kernel.Rule.pattern Kernel.Basic.printer

Sourceval print_untyped_rule : 'a Kernel.Rule.rule Kernel.Basic.printer

Sourceval print_typed_rule : Kernel.Rule.typed_rule Kernel.Basic.printer

Sourceval print_rule_infos : Kernel.Rule.rule_infos Kernel.Basic.printer

Sourceval print_rule_name : Kernel.Rule.rule_name Kernel.Basic.printer

Sourceval print_red_cfg : Kernel.Reduction.red_cfg Kernel.Basic.printer

Sourceval print_entry : Parsers.Entry.entry Kernel.Basic.printer

Sourceval print_staticity : Kernel.Signature.staticity Kernel.Basic.printer