package archetype

  1. Overview
  2. Docs
exception Anomaly of string
type error_desc =
  1. | UnsupportedContainer of string
  2. | UnsupportedType of string
  3. | RecordNotFound
  4. | NotSupportedType of string
val pp_error_desc : Ppx_deriving_runtime.Format.formatter -> error_desc -> Ppx_deriving_runtime.unit
val show_error_desc : error_desc -> Ppx_deriving_runtime.string
val emit_error : error_desc -> 'a
val storage_lident : Model.lident
val storage_var : Model.mterm
val operations_lident : Model.lident
val operations_type : Model.type_
val operations_var : Model.mterm
val operations_init : Model.mterm
val operations_storage_type : Model.type_
val operations_storage_var : Model.mterm
val is_fail : Model.mterm -> Model.mterm option -> bool
type s_red = {
  1. with_ops : bool;
  2. subs : (Ident.ident * Model.type_) list;
}
type ctx_red = {
  1. local_fun_types : (Ident.ident * Model.type_) list;
  2. vars : (Ident.ident * Model.type_) list;
  3. target : Model.mterm option;
}
val compute_side_effect_aux : ctx_red -> (Ident.ident * Model.type_) list -> Model.lident Model.mterm_gen -> (Ident.ident * Model.type_) list
val compute_side_effect : ctx_red -> Model.mterm -> (Ident.ident * Model.type_) list
val compute_side_effect_for_list : ctx_red -> Model.mterm list -> (Ident.ident * Model.type_) list
val process_non_empty_list_term : ctx_red -> s_red -> Model.mterm list -> Model.mterm * s_red
val process_body : ctx_red -> Model.mterm -> Model.mterm
val analyse_type : Model.mterm -> Model.type_
val process_functions : Model.model -> Model.model
val reduce : Model.model -> Model.model
OCaml

Innovation. Community. Security.