package dedukti

  1. Overview
  2. Docs

Printing functions

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_untyped_rule : 'a Kernel.Rule.rule Kernel.Basic.printer
OCaml

Innovation. Community. Security.