archetype 1.5.2 (latest) · OCaml Package

module MapString : sig ... end

module SetString : sig ... end

type error_desc =

| AssetPartitionnedby of string * string list
| CallerNotSetInInit
| CannotBuildAsset of string * string
| ContainersInAssetContainers of string * string * string
| DefaultValueOnKeyAsset of Ident.ident
| DuplicatedKeyAsset of Ident.ident
| ExecOperationsLambda
| InvalidInitValue
| NoClearForPartitionAsset of Ident.ident
| NoEmptyContainerForDefaultValue of string * string * Model.container
| NoEntrypoint
| NoInitForPartitionAsset of Ident.ident
| NoInitValueForConstParam of Ident.ident
| NoInitValueForParameter of Ident.ident
| NoPutRemoveForIterableBigMapAsset
| NoSandboxExecAddress
| NoSortOnKeyWithMultiKey of Ident.ident
| OnlyLiteralInAssetInit
| UnknownContract of Ident.ident
| UnusedArgument of Ident.ident
| UnusedVariable of Ident.ident

val pp_error_desc : Format.formatter -> error_desc -> unit

type error = Location.t * error_desc

val emit_error : (Location.t * error_desc) -> unit

val emit_warning : (Location.t * error_desc) -> unit

val flat_sequence_mterm : Model.mterm -> Model.mterm

val apply_syntactic_sugar : Model.model -> Model.model

val clean_mterm : Model.model -> Model.model

val flat_sequence : Model.model -> Model.model

val transform_match : Model.model -> Model.model

val replace_do_require_fail_if : Model.model -> Model.model

val process_assign_op : 
  Model.assignment_operator ->
  Model.type_ ->
  Model.mterm ->
  Model.mterm ->
  Model.mterm

val remove_add_update : ?isformula:bool -> Model.model -> Model.model

val remove_container_op_in_update : Model.model -> Model.model

val remove_container_op_in_update_exec : Model.model -> Model.model

val remove_empty_update : Model.model -> Model.model

val build_get : Ident.ident -> Model.mterm_gen -> Model.mterm

val check_partition_access : Model.model -> Model.model

val check_containers_asset : Model.model -> Model.model

val check_empty_container_on_asset_default_value : Model.model -> Model.model

val check_asset_key : Model.model -> Model.model

val check_invalid_init_value : Model.model -> Model.model

val is_literal : Model.mterm -> bool

val check_init_partition_in_asset : Model.model -> Model.model

val check_duplicated_keys_in_asset : Model.model -> Model.model

val move_partition_init_asset : Model.model -> Model.model

val replace_declvar_by_letin : Model.model -> Model.model

type enum_info = {

type_ : Model.type_;
fitems : (Model.mterm list -> Model.mterm) MapString.t;
fmatch : Model.type_ option -> Model.mterm -> (Model.pattern * Model.mterm) list -> Model.mterm;

}

val remove_enum : Model.model -> Model.model

val remove_cmp_bool : Model.model -> Model.model

val update_nat_int_rat : Model.model -> Model.model

val remove_rational : Model.model -> Model.model

val replace_date_duration_by_timestamp : Model.model -> Model.model

val abs_tez : Model.model -> Model.model

val replace_assignfield_by_update : Model.model -> Model.model

val eval_variable_initial_value : Model.model -> Model.model

val merge_update : Model.model -> Model.model

val replace_dotassetfield_by_dot : Model.model -> Model.model

val process_internal_string : Model.model -> Model.model

val split_key_values : Model.model -> Model.model

val remove_duplicate_key : Model.model -> Model.model

val remove_assign_operator : Model.model -> Model.model

val replace_col_by_key_for_ckfield : Model.model -> Model.model

val optimize : Model.model -> Model.model

val process_multi_keys : Model.model -> Model.model

val remove_storage_field_in_function : Model.model -> Model.model

val remove_asset : Model.model -> Model.model

val remove_high_level_model : Model.model -> Model.model

val normalize_storage : Model.model -> Model.model

val remove_constant : Model.model -> Model.model

val eval_storage : Model.model -> Model.model

val getter_to_entry : 
  ?no_underscore:bool ->
  ?extra:bool ->
  Model.model ->
  Model.model

val process_metadata : Model.model -> Model.model

val process_parameter : Model.model -> Model.model

val expr_to_instr : Model.model -> Model.model

val instr_to_expr_exec : Model.model -> Model.model

val fill_stovars : Model.model -> Model.model

val patch_fa2 : Model.model -> Model.model

val remove_iterable_big_map : Model.model -> Model.model

val lazy_eval_condition : Model.model -> Model.model

val remove_ternary_operator : Model.model -> Model.model

val remove_update_all : Model.model -> Model.model

val remove_decl_var_opt : Model.model -> Model.model

val process_arith_container : Model.model -> Model.model

val check_unused_variables : Model.model -> Model.model

val check_exec_operation_lambda : Model.model -> Model.model

val remove_import_mterm : Model.model -> Model.model

val process_fail : Model.model -> Model.model

val process_inline_function : Model.model -> Model.model

val remove_unused_function : Model.model -> Model.model

val add_builtin_functions : Model.model -> Model.model

val remove_sandbox_exec : Model.model -> Model.model

package archetype