package archetype

  1. Overview
  2. Docs
module MapString : sig ... end
module SetString : sig ... end
type error_desc =
  1. | AssetPartitionnedby of string * string list
  2. | CallerNotSetInInit
  3. | CannotBuildAsset of string * string
  4. | ContainersInAssetContainers of string * string * string
  5. | DefaultValueOnKeyAsset of Ident.ident
  6. | DuplicatedKeyAsset of Ident.ident
  7. | InvalidInitValue
  8. | NoClearForPartitionAsset of Ident.ident
  9. | NoEmptyContainerForDefaultValue of string * string * Model.container
  10. | NoEntrypoint
  11. | NoInitForPartitionAsset of Ident.ident
  12. | NoInitValueForConstParam of Ident.ident
  13. | NoInitValueForParameter of Ident.ident
  14. | NoPutRemoveForIterableBigMapAsset
  15. | NoSortOnKeyWithMultiKey of Ident.ident
  16. | OnlyLiteralInAssetInit
  17. | UnknownContract of Ident.ident
  18. | UnusedArgument of Ident.ident
  19. | UnusedVariable of Ident.ident
val pp_error_desc : Stdlib.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 prune_formula : Model.model -> Model.model
val flat_sequence_mterm : Model.mterm -> Model.mterm
val flat_sequence : Model.model -> Model.model
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_col_asset : Ident.ident -> Model.mterm * Model.ntype
val replace_update_by_set : Model.model -> Model.model
val remove_label : Model.model -> Model.model
val extend_loop_iter : Model.model -> Model.model
val process_single_field_storage : Model.model -> Model.model
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 check_and_replace_init_caller : ?doit:bool -> 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 prune_properties : Model.model -> Model.model
val move_partition_init_asset : Model.model -> Model.model
val replace_declvar_by_letin : Model.model -> Model.model
val replace_label_by_mark : Model.model -> Model.model
val assign_loop_label : Model.model -> Model.model
val remove_enum000 : Model.model -> Model.model
type enum_info = {
  1. type_ : Model.type_;
  2. fitems : (Model.mterm list -> Model.mterm) MapString.t;
  3. 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 remove_rational_update : 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 add_explicit_sort : Model.model -> Model.model
val is_whyml_keyword : string -> bool
val replace_whyml_ident : Model.model -> Model.model
val replace_ident_model_val : Model.model -> Model.model
val merge_update : Model.model -> Model.model
val extract_term_from_instruction : (Model.mterm_gen -> Model.mterm_gen * (Model.mident * Model.mterm_gen) list) -> Model.model -> Model.model
val replace_dotassetfield_by_dot : Model.model -> Model.model
val remove_fun_dotasset : Model.model -> Model.model
val remove_letin_from_expr : Model.model -> Model.model
val process_internal_string : Model.model -> Model.model
val build_col : Ident.ident -> Model.mterm
val change_type_of_nth : Model.model -> Model.model
val add_contain_on_get : Model.model -> Model.model
val split_key_values : Model.model -> Model.model
val replace_for_to_iter : Model.model -> Model.model
val remove_duplicate_key : Model.model -> Model.model
val remove_assign_operator : Model.model -> Model.model
val extract_item_collection_from_add_asset : Model.model -> Model.model
val check_if_asset_in_function : Model.model -> Model.model
val replace_instr_verif : Model.model -> Model.model
val rename_shadow_variable : Model.model -> Model.model
val concat_shadown_effect_to_exec : Model.model -> Model.model
val transfer_shadow_variable_to_storage : Model.model -> Model.model
val create_var_before_for : Model.model -> Model.model
val replace_col_by_key_for_ckfield : Model.model -> Model.model
val optimize : Model.model -> Model.model
val filter_api_storage : 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 reverse_operations : Model.model -> Model.model
val process_parameter : Model.model -> Model.model
val fix_container : Model.model -> Model.model
val expr_to_instr : Model.model -> Model.model
val instr_to_expr_exec : Model.model -> Model.model
val test_mode : 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_opeartor : 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 remove_import_mterm : Model.model -> Model.model
val process_fail : Model.model -> Model.model