archetype 1.3.3 · OCaml Package

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, 'd, 'a) CamlinternalFormatBasics.format6 ->
  ('e, 'f, 'g, 'h, 'h, 'e) CamlinternalFormatBasics.format6 ->
  (Format.formatter -> 'i -> unit) ->
  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 : 
  (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 : Core.Format.formatter -> Mlwtree.fmod -> unit

val needs_paren : ('a, 'b) Mlwtree.abstract_type -> bool

val pp_type : 
  Core.Format.formatter ->
  (string, 'a) Mlwtree.abstract_type as 'a ->
  unit

val pp_univ_decl : 
  Format.formatter ->
  (string list * (string, 'a) Mlwtree.abstract_type as 'a) ->
  unit

val pp_ref : Core.Format.formatter -> bool -> unit

val pp_lettyp : 
  Format.formatter ->
  Mlwtree.typ option ->
  Ppx_deriving_runtime.unit

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

val pp_recfield : 
  Core.Format.formatter ->
  (Mlwtree.ident
   * ('a,
       (Mlwtree.ident, (Mlwtree.ident, 'b) Mlwtree.abstract_type as 'b)
         Mlwtree.abstract_type,
       Mlwtree.ident)
       Mlwtree.abstract_term as 'a) ->
  Ppx_deriving_runtime.unit

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

val pp_formula : 
  Core.Format.formatter ->
  ((('a,
      (Mlwtree.ident, (Mlwtree.ident, 'b) Mlwtree.abstract_type as 'b)
        Mlwtree.abstract_type,
      Mlwtree.ident)
      Mlwtree.abstract_term as 'a,
     (Mlwtree.ident, 'b) Mlwtree.abstract_type,
     Mlwtree.ident)
     Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula ->
  Ppx_deriving_runtime.unit

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

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

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

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

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

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

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

val pp_fail : 
  (int * assoc) ->
  pos ->
  Format.formatter ->
  ('a option
   * (('b,
        (Mlwtree.ident, (Mlwtree.ident, 'c) Mlwtree.abstract_type as 'c)
          Mlwtree.abstract_type,
        Mlwtree.ident)
        Mlwtree.abstract_term as 'b,
       (Mlwtree.ident, 'c) Mlwtree.abstract_type,
       Mlwtree.ident)
       Mlwtree.abstract_term) ->
  Ppx_deriving_runtime.unit

val pp_catch : 
  (int * assoc) ->
  pos ->
  Core.Format.formatter ->
  (('a,
     (Mlwtree.ident, (Mlwtree.ident, 'b) Mlwtree.abstract_type as 'b)
       Mlwtree.abstract_type,
     Mlwtree.ident)
     Mlwtree.abstract_term as 'a
     Mlwtree.exn
   * 'a) ->
  Ppx_deriving_runtime.unit

val pp_case : 
  Core.Format.formatter ->
  (Mlwtree.ident Mlwtree.pattern_node
   * ('a,
       (Mlwtree.ident, (Mlwtree.ident, 'b) Mlwtree.abstract_type as 'b)
         Mlwtree.abstract_type,
       Mlwtree.ident)
       Mlwtree.abstract_term as 'a) ->
  Ppx_deriving_runtime.unit

val pp_exn : 
  (int * assoc) ->
  pos ->
  Format.formatter ->
  ('a,
    (Mlwtree.ident, (Mlwtree.ident, 'b) Mlwtree.abstract_type as 'b)
      Mlwtree.abstract_type,
    Mlwtree.ident)
    Mlwtree.abstract_term as 'a
    Mlwtree.exn ->
  Ppx_deriving_runtime.unit

val pp_dexn : 
  Format.formatter ->
  (string * (string, 'a) Mlwtree.abstract_type as 'a) ->
  unit

val pp_pred : 
  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_type,
        Mlwtree.ident)
        Mlwtree.abstract_term as 'b,
       (Mlwtree.ident, 'c) Mlwtree.abstract_type,
       Mlwtree.ident)
       Mlwtree.abstract_term) ->
  Ppx_deriving_runtime.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_init : Format.formatter -> Mlwtree.field -> Ppx_deriving_runtime.unit

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

val pp_ref_val : 
  Format.formatter ->
  (string * (string, 'a) Mlwtree.abstract_type as 'a) ->
  unit

val pp_val : 
  Format.formatter ->
  (string * (string, 'a) Mlwtree.abstract_type as 'a) ->
  unit

val pp_decl : 
  Format.formatter ->
  (Mlwtree.term,
    (Mlwtree.ident, 'a) Mlwtree.abstract_type as 'a,
    Mlwtree.ident)
    Mlwtree.abstract_decl ->
  Ppx_deriving_runtime.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

package archetype