Make (p.dedukti.2.7.doc.dedukti.api.Api.Pp.Make)

Parameters

module S : Sig

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