package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

val print_ident : Kernel.Basic.ident Kernel.Basic.printer

val print_mident : Kernel.Basic.mident Kernel.Basic.printer

val print_name : Kernel.Basic.name Kernel.Basic.printer

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

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

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

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

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

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

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

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

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

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

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