sig
  type 'a printer = 'a -> string
  val print_list : 'a Printer.printer -> 'a list Printer.printer
  val print_bulletml : Bulletml.Syntax.t Printer.printer
  val print_opcode : Bulletml.Interp_types.opcode Printer.printer
end