package archetype

  1. Overview
  2. Docs
exception Anomaly of string
val pp_neutral : ('a -> 'b -> 'c) -> 'd -> 'e -> 'f
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 -> 'b -> unit
val pp_list : ('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'g -> unit) -> Core.Format.formatter -> 'g 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) -> 'c -> 'd option -> unit
val pp_option2 : ('a -> 'b option -> 'c) -> ('d -> 'e -> 'f) -> 'g -> 'b option -> 'h
val pp_enclose : ('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6 -> ('g, 'h, 'i, 'j, 'k, 'l) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'm -> unit) -> Core.Format.formatter -> 'n -> unit
val pp_prefix : ('a, 'b, 'c, 'd, 'd, 'a) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'e -> unit) -> Core.Format.formatter -> 'f -> unit
val pp_postfix : ('a, 'b, 'c, 'd, 'd, 'a) CamlinternalFormatBasics.format6 -> (Core.Format.formatter -> 'e -> unit) -> Core.Format.formatter -> 'f -> unit
val pp_paren : (Core.Format.formatter -> 'a -> unit) -> Core.Format.formatter -> 'b -> unit
val pp_do_if : bool -> ('a -> 'b -> unit) -> 'c -> 'd -> unit
val pp_if : bool -> ('a -> 'b -> 'c) -> ('d -> 'e -> 'f) -> 'g -> 'h -> 'i
val pp_maybe : bool -> (('a -> 'b -> 'c) -> 'a -> 'b -> 'c) -> ('a -> 'b -> 'c) -> 'd -> 'e -> 'f
val pp_maybe_paren : bool -> (Core.Format.formatter -> 'a -> unit) -> Core.Format.formatter -> 'a -> unit
type assoc =
  1. | Left
  2. | Right
  3. | NonAssoc
type pos =
  1. | PLeft
  2. | PRight
  3. | PInfix
  4. | PNone
val maybe_paren : ('a * assoc) -> ('b * assoc) -> pos -> (Core.Format.formatter -> 'c -> unit) -> Core.Format.formatter -> 'c -> 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