package archetype

  1. Overview
  2. Docs
val pp_str : Stdlib.Format.formatter -> string -> unit
val pp_id : Stdlib.Format.formatter -> string -> unit
val pp_list : ('a, 'b, 'c, 'd, 'd, 'a) CamlinternalFormatBasics.format6 -> (Stdlib.Format.formatter -> 'e -> unit) -> Stdlib.Format.formatter -> 'e list -> unit
val pp_enclose : ('a, 'b, 'c, 'd, 'd, 'a) CamlinternalFormatBasics.format6 -> ('e, 'f, 'g, 'h, 'h, 'e) CamlinternalFormatBasics.format6 -> (Stdlib.Format.formatter -> 'i -> unit) -> Stdlib.Format.formatter -> 'i -> unit
type assoc =
  1. | Left
  2. | Right
  3. | NonAssoc
type pos =
  1. | PLeft
  2. | PRight
  3. | PInfix
  4. | PNone
val e_in : int * assoc
val e_to : int * assoc
val e_arrow : int * assoc
val e_match : int * assoc
val e_if : int * assoc
val e_then : int * assoc
val e_else : int * assoc
val e_comma : int * assoc
val e_semi_colon : int * assoc
val e_colon : int * assoc
val e_and : int * assoc
val e_or : int * assoc
val e_equal : int * assoc
val e_nequal : int * assoc
val e_gt : int * assoc
val e_ge : int * assoc
val e_lt : int * assoc
val e_le : int * assoc
val e_plus : int * assoc
val e_minus : int * assoc
val e_mult : int * assoc
val e_div : int * assoc
val e_modulo : int * assoc
val e_not : int * assoc
val e_dot : int * assoc
val e_app : int * assoc
val e_for : int * assoc
val e_default : int * assoc
val e_simple : int * assoc
val e_top : int * assoc
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_paren : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit
val pp_maybe_paren : bool -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit
val maybe_paren : ('a * assoc) -> ('a * assoc) -> pos -> (Stdlib.Format.formatter -> 'b -> unit) -> Stdlib.Format.formatter -> 'b -> unit
val pp_with_paren : (Stdlib.Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit) -> Stdlib.Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit
val pp_if_with_paren : (Stdlib.Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit) -> Stdlib.Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit
val pp_logic : Stdlib.Format.formatter -> Mlwtree.fmod -> unit
val needs_paren : 'a Mlwtree.abstract_type -> bool
val pp_type : Stdlib.Format.formatter -> string Mlwtree.abstract_type -> unit
val pp_exn : Stdlib.Format.formatter -> Mlwtree.exn -> unit
val pp_univ_decl : Stdlib.Format.formatter -> (string list * string Mlwtree.abstract_type) -> unit
val pp_ref : Stdlib.Format.formatter -> bool -> unit
val pp_lettyp : Stdlib.Format.formatter -> Mlwtree.typ option -> Ppx_deriving_runtime.unit
val pp_arg : Stdlib.Format.formatter -> (string * string Mlwtree.abstract_type) -> unit
val pp_args : Stdlib.Format.formatter -> (string * string Mlwtree.abstract_type) list -> unit
val pp_pattern : Stdlib.Format.formatter -> string Mlwtree.pattern_node -> unit
val pp_tlist : (int * assoc) -> pos -> Stdlib.Format.formatter -> ('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident) Mlwtree.abstract_term as 'a list -> Ppx_deriving_runtime.unit
val pp_mutable : Stdlib.Format.formatter -> bool -> unit
val pp_field : Stdlib.Format.formatter -> Mlwtree.field -> unit
val pp_record : Stdlib.Format.formatter -> (string * Mlwtree.field list) -> unit
val pp_init : Stdlib.Format.formatter -> Mlwtree.field -> Ppx_deriving_runtime.unit
val pp_storage : Stdlib.Format.formatter -> Mlwtree.storage_struct -> Ppx_deriving_runtime.unit
val pp_enum : Stdlib.Format.formatter -> (string * string list) -> unit
val pp_qualid : Stdlib.Format.formatter -> string list -> unit
val pp_clone_subst : Stdlib.Format.formatter -> string Mlwtree.abstract_clone_subst -> unit
val pp_clone : Stdlib.Format.formatter -> (string list * string * string Mlwtree.abstract_clone_subst list) -> unit
val pp_theotyp : Stdlib.Format.formatter -> Mlwtree.theotyp -> unit
val pp_val : Stdlib.Format.formatter -> (string * string Mlwtree.abstract_type) -> unit
val pp_module : Stdlib.Format.formatter -> Mlwtree.mlw_module -> unit
val pp_mlw_tree : Stdlib.Format.formatter -> Mlwtree.mlw_tree -> unit
val string_of__of_pp : (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> string
val show_mlw_tree : Mlwtree.mlw_tree -> string
OCaml

Innovation. Community. Security.