Module Archetype.Printer_mlwtree

val pp_str : Stdlib.Format.formatter -> string -> unit
val pp_int : Stdlib.Format.formatter -> int -> 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 =
| Left
| Right
| NonAssoc
type pos =
| PLeft
| PRight
| PInfix
| 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 needs_paren : ('a'b'c) Mlwtree.abstract_term -> bool
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 needs_paren : ('a'b'c) Mlwtree.abstract_term -> bool
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'b) Mlwtree.abstract_type -> bool
val pp_type : Stdlib.Format.formatter -> (string, 'a) Mlwtree.abstract_type as 'a -> unit
val pp_univ_decl : Stdlib.Format.formatter -> (string list * (string, 'a) Mlwtree.abstract_type as 'a) -> 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, 'a) Mlwtree.abstract_type as 'a) -> unit
val pp_args : Stdlib.Format.formatter -> (string * (string, 'a) Mlwtree.abstract_type as 'a) list -> unit
val pp_pattern : Stdlib.Format.formatter -> string Mlwtree.pattern_node -> unit
val pp_term : (int * assoc) -> pos -> Stdlib.Format.formatter -> (('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term -> Ppx_deriving_runtime.unit
val pp_recfield : Stdlib.Format.formatter -> (Mlwtree.ident * ('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a) -> Ppx_deriving_runtime.unit
val pp_tlist : (int * assoc) -> pos -> Stdlib.Format.formatter -> ('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a list -> Ppx_deriving_runtime.unit
val pp_formula : Stdlib.Format.formatter -> ((('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_termMlwtree.ident) Mlwtree.abstract_formula -> Ppx_deriving_runtime.unit
val pp_invariants : bool -> Stdlib.Format.formatter -> ((('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_termMlwtree.ident) Mlwtree.abstract_formula list -> Ppx_deriving_runtime.unit
val pp_ensures : Stdlib.Format.formatter -> ((('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_termMlwtree.ident) Mlwtree.abstract_formula list -> Ppx_deriving_runtime.unit
val pp_requires : Stdlib.Format.formatter -> ((('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_termMlwtree.ident) Mlwtree.abstract_formula list -> Ppx_deriving_runtime.unit
val pp_variants : Stdlib.Format.formatter -> (('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term list -> Ppx_deriving_runtime.unit
val pp_fun : Stdlib.Format.formatter -> (('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_fun_struct -> Ppx_deriving_runtime.unit
val pp_raise : (int * assoc) -> pos -> Stdlib.Format.formatter -> (('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term list -> Ppx_deriving_runtime.unit
val pp_fails : (int * assoc) -> pos -> Stdlib.Format.formatter -> (Mlwtree.ident option * Mlwtree.term) list -> Ppx_deriving_runtime.unit
val pp_fail : (int * assoc) -> pos -> Stdlib.Format.formatter -> (Mlwtree.ident option * Mlwtree.term) -> Ppx_deriving_runtime.unit
val pp_catch : (int * assoc) -> pos -> Stdlib.Format.formatter -> (('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a Mlwtree.exn * 'a) -> Ppx_deriving_runtime.unit
val pp_case : Stdlib.Format.formatter -> (Mlwtree.ident Mlwtree.pattern_node * ('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a) -> Ppx_deriving_runtime.unit
val pp_exn : (int * assoc) -> pos -> Stdlib.Format.formatter -> ('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a Mlwtree.exn -> Ppx_deriving_runtime.unit
val pp_dexn : Stdlib.Format.formatter -> (string * (string, 'a) Mlwtree.abstract_type as 'a) -> unit
val pp_pred : Stdlib.Format.formatter -> (string * (string * (string, 'a) Mlwtree.abstract_type as 'a) list * (('b(Mlwtree.ident(Mlwtree.ident'c) Mlwtree.abstract_type as 'c) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'b, (Mlwtree.ident'c) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term) -> 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, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_clone_subst -> unit
val pp_clone : Stdlib.Format.formatter -> (string list * string * (string, (string, 'a) Mlwtree.abstract_type as 'a) Mlwtree.abstract_clone_subst list) -> unit
val pp_theotyp : Stdlib.Format.formatter -> Mlwtree.theotyp -> unit
val pp_theorem : Stdlib.Format.formatter -> (Mlwtree.theotyp * string * (('a(Mlwtree.ident(Mlwtree.ident'b) Mlwtree.abstract_type as 'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term as 'a, (Mlwtree.ident'b) Mlwtree.abstract_typeMlwtree.ident) Mlwtree.abstract_term) -> Ppx_deriving_runtime.unit
val pp_ref_val : Stdlib.Format.formatter -> (string * (string, 'a) Mlwtree.abstract_type as 'a) -> unit
val pp_val : Stdlib.Format.formatter -> (string * (string, 'a) Mlwtree.abstract_type as 'a) -> unit
val pp_decl : Stdlib.Format.formatter -> (Mlwtree.term(Mlwtree.ident'a) Mlwtree.abstract_type as 'a, Mlwtree.ident) Mlwtree.abstract_decl -> Ppx_deriving_runtime.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