archetype 0.1.13 · OCaml Package

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 =

| 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 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_term : 
  (int * assoc) ->
  pos ->
  Stdlib.Format.formatter ->
  (('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
     Mlwtree.abstract_term as 'a,
    Mlwtree.ident Mlwtree.abstract_type,
    Mlwtree.ident)
    Mlwtree.abstract_term ->
  Ppx_deriving_runtime.unit

val pp_recfield : 
  Stdlib.Format.formatter ->
  (Mlwtree.ident
   * ('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
       Mlwtree.abstract_term as 'a) ->
  Ppx_deriving_runtime.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_formula : 
  Stdlib.Format.formatter ->
  ((('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
      Mlwtree.abstract_term as 'a,
     Mlwtree.ident Mlwtree.abstract_type,
     Mlwtree.ident)
     Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula ->
  Ppx_deriving_runtime.unit

val pp_invariants : 
  bool ->
  Stdlib.Format.formatter ->
  ((('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
      Mlwtree.abstract_term as 'a,
     Mlwtree.ident Mlwtree.abstract_type,
     Mlwtree.ident)
     Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula
    list ->
  Ppx_deriving_runtime.unit

val pp_ensures : 
  Stdlib.Format.formatter ->
  ((('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
      Mlwtree.abstract_term as 'a,
     Mlwtree.ident Mlwtree.abstract_type,
     Mlwtree.ident)
     Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula
    list ->
  Ppx_deriving_runtime.unit

val pp_requires : 
  Stdlib.Format.formatter ->
  ((('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
      Mlwtree.abstract_term as 'a,
     Mlwtree.ident Mlwtree.abstract_type,
     Mlwtree.ident)
     Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula
    list ->
  Ppx_deriving_runtime.unit

val pp_variants : 
  Stdlib.Format.formatter ->
  (('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
     Mlwtree.abstract_term as 'a,
    Mlwtree.ident Mlwtree.abstract_type,
    Mlwtree.ident)
    Mlwtree.abstract_term
    list ->
  Ppx_deriving_runtime.unit

val pp_fun : 
  Stdlib.Format.formatter ->
  (('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
     Mlwtree.abstract_term as 'a,
    Mlwtree.ident Mlwtree.abstract_type,
    Mlwtree.ident)
    Mlwtree.abstract_fun_struct ->
  Ppx_deriving_runtime.unit

val pp_raise : 
  (int * assoc) ->
  pos ->
  Stdlib.Format.formatter ->
  (('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
     Mlwtree.abstract_term as 'a,
    Mlwtree.ident Mlwtree.abstract_type,
    Mlwtree.ident)
    Mlwtree.abstract_term
    list ->
  Ppx_deriving_runtime.unit

val pp_catch : 
  Stdlib.Format.formatter ->
  (Mlwtree.exn
   * ('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
       Mlwtree.abstract_term as 'a) ->
  Ppx_deriving_runtime.unit

val pp_case : 
  Stdlib.Format.formatter ->
  (Mlwtree.ident Mlwtree.pattern_node
   * ('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
       Mlwtree.abstract_term as 'a) ->
  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_theorem : 
  Stdlib.Format.formatter ->
  (Mlwtree.theotyp
   * string
   * (('a, Mlwtree.ident Mlwtree.abstract_type, Mlwtree.ident)
        Mlwtree.abstract_term as 'a,
       Mlwtree.ident Mlwtree.abstract_type,
       Mlwtree.ident)
       Mlwtree.abstract_term) ->
  Ppx_deriving_runtime.unit

val pp_val : 
  Stdlib.Format.formatter ->
  (string * string Mlwtree.abstract_type) ->
  unit

val pp_decl : 
  Stdlib.Format.formatter ->
  (Mlwtree.term, Mlwtree.ident Mlwtree.abstract_type, 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

package archetype