Module Bracetax_signaturesSource

Common types used for printers.

Sourcetype writer = {
  1. w_write : string -> unit;
  2. w_error : Bracetax_error.error -> unit;
}
Sourceval make_writer : write:(string -> unit) -> error:(Bracetax_error.error -> unit) -> writer
Sourcetype printer = {
  1. print_comment : Bracetax_error.location -> string -> unit;
  2. print_text : Bracetax_error.location -> string -> unit;
  3. enter_cmd : Bracetax_error.location -> string -> string list -> unit;
  4. leave_cmd : Bracetax_error.location -> unit;
  5. terminate : Bracetax_error.location -> unit;
  6. is_raw : string -> bool;
  7. default_raw_end : string -> string;
  8. enter_raw : Bracetax_error.location -> string -> string list -> unit;
  9. print_raw : Bracetax_error.location -> string -> unit;
  10. leave_raw : Bracetax_error.location -> unit;
  11. error : Bracetax_error.error -> unit;
}

The functions called by Parser.do_transformation. For example, HtmlPrinter.build outputs a printer.