Module Printer

module Printer: sig .. end

Print syntactic values.

type 'a printer = 'a -> string

val print_list : 'a printer -> 'a list printer

Print a list.

Given a way to print an 'a, print a list of 'a.

val print_bulletml : Bulletml.Syntax.t printer

Print a Syntax.t.

val print_opcode : Bulletml.Interp_types.opcode printer