archetype
  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pp_int : Format.formatter -> int -> unit
val pp_id : Core.Format.formatter -> string -> unit
val empty_string : string
val pp_enclose : ('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6 -> ('g, 'h, 'i, 'j, 'k, 'l) CamlinternalFormatBasics.format6 -> (Format.formatter -> 'm -> unit) -> Format.formatter -> 'n -> 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) -> ('d -> 'e -> 'f) -> 'g -> 'h -> 'i
val pp_maybe : bool -> (('a -> 'b -> 'c) -> 'a -> 'b -> 'c) -> ('a -> 'b -> 'c) -> 'd -> 'e -> 'f
val pp_paren : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'b -> unit
val pp_maybe_paren : bool -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val maybe_paren : ('a * assoc) -> ('b * assoc) -> pos -> (Format.formatter -> 'c -> unit) -> Format.formatter -> 'c -> 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 : Core.Format.formatter -> Mlwtree.fmod -> unit
val needs_paren : ('a, 'b) Mlwtree.abstract_type -> bool
val pp_type : Core.Format.formatter -> (string, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_type -> unit
val pp_univ_decl : Format.formatter -> (string list * (string, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_type) -> unit
val pp_ref : Core.Format.formatter -> bool -> unit
val pp_arg : Format.formatter -> (string * (string, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_type) -> unit
val pp_args : Core.Format.formatter -> (string * (string, 'a) Mlwtree.abstract_type as 'a) list -> unit
val pp_pattern : Core.Format.formatter -> string Mlwtree.pattern_node -> unit
val pp_dexn : Format.formatter -> (string * (string, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_type) -> unit
val pp_mutable : Core.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, (string, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_type) Mlwtree.abstract_clone_subst -> unit
val pp_clone : Format.formatter -> (string list * string * (string, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_clone_subst list) -> unit
val pp_theotyp : Core.Format.formatter -> Mlwtree.theotyp -> unit
val pp_ref_val : Format.formatter -> (string * (string, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_type) -> unit
val pp_val : Format.formatter -> (string * (string, (string, 'a) Mlwtree.abstract_type as 'a) 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) -> 'b -> string
val show_mlw_tree : Mlwtree.mlw_tree -> string