Module Archetype.Printer_tools

exception Anomaly of string
type lident = Ident.ident Location.loced
val pp_neutral : ('a -> 'b -> 'c) -> 'a -> 'b -> 'c
val pp_str : Core.Format.formatter -> string -> unit
val pp_big_int : Core.Format.formatter -> Big_int.big_int -> unit
val pp_nl : (Core.Format.formatter -> 'a -> unit) -> Core.Format.formatter -> 'a -> unit
val pp_list : ('a'b'c'd'd'a) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'e -> unit) -> Core.Format.formatter -> 'e list -> unit
val pp_no_empty_list_with_sep : ('a'b'c'd'd'a) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'e -> unit) -> Core.Format.formatter -> 'e list -> unit
val pp_no_empty_list : (Core.Format.formatter -> 'a -> unit) -> Core.Format.formatter -> 'a list -> unit
val pp_no_empty_list2 : (Core.Format.formatter -> 'a -> unit) -> Core.Format.formatter -> 'a list -> unit
val pp_ident : Core.Format.formatter -> string -> unit
val pp_id : Core.Format.formatter -> lident -> unit
val pp_name : Core.Format.formatter -> (string Location.loced option * string Location.loced) -> unit
val is_none : 'a option -> bool
val pp_option : ('a -> 'b -> unit) -> 'a -> 'b option -> unit
val pp_option2 : ('a -> 'b option -> 'c) -> ('a -> 'b -> 'c) -> 'a -> 'b option -> 'c
val pp_enclose : ('a'b'c'd'd'a) CamlinternalFormatBasics.format6 -> ('e'f'g'h'h'e) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'i -> unit) -> Core.Format.formatter -> 'i -> unit
val pp_prefix : ('a'b'c'd'd'a) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'e -> unit) -> Core.Format.formatter -> 'e -> unit
val pp_postfix : ('a'b'c'd'd'a) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'e -> unit) -> Core.Format.formatter -> 'e -> unit
val pp_paren : (Core.Format.formatter -> 'a -> unit) -> Core.Format.formatter -> 'a -> unit
val pp_do_if : bool -> ('a -> 'b -> unit) -> 'a -> 'b -> unit
val pp_if : bool -> ('a -> 'b -> 'c) -> ('a -> 'b -> 'c) -> 'a -> 'b -> 'c
val pp_maybe : bool -> (('a -> 'b -> 'c) -> 'a -> 'b -> 'c) -> ('a -> 'b -> 'c) -> 'a -> 'b -> 'c
val pp_maybe_paren : bool -> (Core.Format.formatter -> 'a -> unit) -> Core.Format.formatter -> 'a -> unit
type assoc =
| Left
| Right
| NonAssoc
type pos =
| PLeft
| PRight
| PInfix
| PNone
val maybe_paren : ('a * assoc) -> ('a * assoc) -> pos -> (Core.Format.formatter -> 'b -> unit) -> Core.Format.formatter -> 'b -> unit
val pp_version : Core.Format.formatter -> 'a -> unit
val pp_bin : Core.Format.formatter -> 'a -> unit
val pp_fail_type : (Core.Format.formatter -> 'a Model.mterm_gen -> unit) -> Core.Format.formatter -> 'a Model.fail_type_gen -> unit