Module `Archetype.Printer_mlwtree`Source

Sourceval pp_int : Format.formatter -> int -> unit

Sourceval pp_id : Core.Format.formatter -> string -> unit

Sourceval 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

Sourcetype assoc =

| Left
| Right
| NonAssoc

Sourcetype pos =

| PLeft
| PRight
| PInfix
| PNone

Sourceval e_in : int * assoc

Sourceval e_to : int * assoc

Sourceval e_arrow : int * assoc

Sourceval e_match : int * assoc

Sourceval e_if : int * assoc

Sourceval e_then : int * assoc

Sourceval e_else : int * assoc

Sourceval e_comma : int * assoc

Sourceval e_semi_colon : int * assoc

Sourceval e_colon : int * assoc

Sourceval e_and : int * assoc

Sourceval e_or : int * assoc

Sourceval e_equal : int * assoc

Sourceval e_nequal : int * assoc

Sourceval e_gt : int * assoc

Sourceval e_ge : int * assoc

Sourceval e_lt : int * assoc

Sourceval e_le : int * assoc

Sourceval e_plus : int * assoc

Sourceval e_minus : int * assoc

Sourceval e_mult : int * assoc

Sourceval e_div : int * assoc

Sourceval e_modulo : int * assoc

Sourceval e_not : int * assoc

Sourceval e_dot : int * assoc

Sourceval e_app : int * assoc

Sourceval e_for : int * assoc

Sourceval e_default : int * assoc

Sourceval e_simple : int * assoc

Sourceval e_top : int * assoc

Sourceval pp_if : bool -> ('a -> 'b -> 'c) -> ('a -> 'b -> 'c) -> 'a -> 'b -> 'c

Source

val pp_maybe : 
  bool ->
  (('a -> 'b -> 'c) -> 'a -> 'b -> 'c) ->
  ('a -> 'b -> 'c) ->
  'a ->
  'b ->
  'c

Source

val pp_paren : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a ->
  unit

Source

val pp_maybe_paren : 
  bool ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a ->
  unit

Source

val maybe_paren : 
  ('a * assoc) ->
  ('a * assoc) ->
  pos ->
  (Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  'b ->
  unit

Source

val pp_with_paren : 
  (Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit) ->
  Format.formatter ->
  ('a, 'b, 'c) Mlwtree.abstract_term ->
  unit

Source

val pp_if_with_paren : 
  (Format.formatter -> ('a, 'b, 'c) Mlwtree.abstract_term -> unit) ->
  Format.formatter ->
  ('a, 'b, 'c) Mlwtree.abstract_term ->
  unit

Sourceval pp_logic : Core.Format.formatter -> Mlwtree.fmod -> unit

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

Source

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

Source

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

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

Source

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

Source

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

Source

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

Sourceval pp_pattern : Core.Format.formatter -> string Mlwtree.pattern_node -> unit

Source

val pp_term : 
  (int * assoc) ->
  pos ->
  Format.formatter ->
  (Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

val pp_formula : 
  Core.Format.formatter ->
  ((Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula ->
  Ppx_deriving_runtime.unit

Source

val pp_invariants : 
  bool ->
  Format.formatter ->
  ((Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula
    list ->
  Ppx_deriving_runtime.unit

Source

val pp_ensures : 
  Format.formatter ->
  ((Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula
    list ->
  Ppx_deriving_runtime.unit

Source

val pp_requires : 
  Format.formatter ->
  ((Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_formula
    list ->
  Ppx_deriving_runtime.unit

Source

val pp_variants : 
  Format.formatter ->
  (Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term list ->
  Ppx_deriving_runtime.unit

Source

val pp_fun : 
  Format.formatter ->
  Mlwtree.fun_struct ->
  Ppx_deriving_runtime.unit

Source

val pp_raise : 
  (int * assoc) ->
  pos ->
  Format.formatter ->
  (Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term list ->
  Ppx_deriving_runtime.unit

Source

val pp_fails : 
  (int * assoc) ->
  pos ->
  Format.formatter ->
  ((Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term,
    Mlwtree.ident)
    Mlwtree.abstract_struct_fail
    list ->
  Ppx_deriving_runtime.unit

Source

val pp_fail : 
  (int * assoc) ->
  pos ->
  Format.formatter ->
  ('a option * (Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term) ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

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

Source

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

Source

val pp_pred : 
  Format.formatter ->
  (string
   * (string * ((string, 'a) Mlwtree.abstract_type as 'a)) list
   * (Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term) ->
  Ppx_deriving_runtime.unit

Sourceval pp_mutable : Core.Format.formatter -> bool -> unit

Sourceval pp_field : Format.formatter -> Mlwtree.field -> unit

Sourceval pp_record : Format.formatter -> (string * Mlwtree.field list) -> unit

Sourceval pp_init : Format.formatter -> Mlwtree.field -> Ppx_deriving_runtime.unit

Source

val pp_storage : 
  Format.formatter ->
  Mlwtree.storage_struct ->
  Ppx_deriving_runtime.unit

Sourceval pp_enum : Format.formatter -> (string * string list) -> unit

Sourceval pp_qualid : Format.formatter -> string list -> unit

Source

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

Source

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

Sourceval pp_theotyp : Core.Format.formatter -> Mlwtree.theotyp -> unit

Source

val pp_theorem : 
  Format.formatter ->
  (Mlwtree.theotyp
   * string
   * (Mlwtree.term, Mlwtree.typ, Mlwtree.ident) Mlwtree.abstract_term) ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

val pp_decl : 
  Format.formatter ->
  (Mlwtree.term,
    (Mlwtree.ident, 'a) Mlwtree.abstract_type as 'a,
    Mlwtree.ident)
    Mlwtree.abstract_decl ->
  Ppx_deriving_runtime.unit

Sourceval pp_module : Format.formatter -> Mlwtree.mlw_module -> unit

Sourceval pp_mlw_tree : Format.formatter -> Mlwtree.mlw_tree -> unit

Sourceval string_of__of_pp : (Format.formatter -> 'a -> unit) -> 'a -> string

Sourceval show_mlw_tree : Mlwtree.mlw_tree -> string

package archetype

Module Archetype.Printer_mlwtreeSource

Module `Archetype.Printer_mlwtree`Source