package archetype

  1. Overview
  2. Docs
val pp_str : Format.formatter -> string -> unit
val pp_id : Format.formatter -> string -> unit
val pp_list : ('a, 'b, 'c, 'd, 'd, 'a) CamlinternalFormatBasics.format6 -> (Format.formatter -> 'e -> unit) -> Format.formatter -> 'e list -> unit
val pp_enclose : ('a, 'b, 'c, 'd, 'd, 'a) CamlinternalFormatBasics.format6 -> ('e, 'f, 'g, 'h, 'h, 'e) CamlinternalFormatBasics.format6 -> (Format.formatter -> 'i -> unit) -> 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 : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val pp_maybe_paren : bool -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val maybe_paren : ('a * assoc) -> ('a * assoc) -> pos -> (Format.formatter -> 'b -> unit) -> Format.formatter -> 'b -> unit
val pp_with_paren : (Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit) -> Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit
val pp_if_with_paren : (Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit) -> Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit
val pp_logic : Format.formatter -> Mlwtree.fmod -> unit
val needs_paren : 'a Mlwtree.abstract_type -> bool
val pp_type : Format.formatter -> string Mlwtree.abstract_type -> unit
val pp_exn : Format.formatter -> Mlwtree.exn -> unit
val pp_univ_decl : Format.formatter -> (string list * string Mlwtree.abstract_type) -> unit
val pp_ref : Format.formatter -> bool -> unit
val pp_arg : Format.formatter -> (string * string Mlwtree.abstract_type) -> unit
val pp_args : Format.formatter -> (string * string Mlwtree.abstract_type) list -> unit
val pp_mutable : Format.formatter -> bool -> unit
val pp_field : Format.formatter -> Mlwtree.field -> unit
val pp_record : Format.formatter -> (string * Mlwtree.field list) -> unit
val pp_enum : Format.formatter -> (string * string list) -> unit
val pp_qualid : Format.formatter -> string list -> unit
val pp_clone_subst : Format.formatter -> string Mlwtree.abstract_clone_subst -> unit
val pp_clone : Format.formatter -> (string list * string * string Mlwtree.abstract_clone_subst list) -> unit
val pp_theotyp : Format.formatter -> Mlwtree.theotyp -> unit
val pp_val : Format.formatter -> (string * string Mlwtree.abstract_type) -> unit
val pp_module : Format.formatter -> Mlwtree.mlw_module -> unit
val pp_mlw_tree : Format.formatter -> Mlwtree.mlw_tree -> unit
val string_of__of_pp : (Format.formatter -> 'a -> unit) -> 'a -> string
val show_mlw_tree : Mlwtree.mlw_tree -> string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct