archetype 1.2.8 · OCaml Package

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

val pp_some : ('a -> 'b -> unit) -> 'a -> 'b option -> 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

package archetype