package archetype

  1. Overview
  2. Docs
module MapString : sig ... end
module SetString : sig ... end
type error_desc =
  1. | AssetPartitionnedby of string * string list
  2. | CannotBuildAsset of string * string
  3. | ContainersInAssetContainers of string * string * string
  4. | NoEmptyContainerForDefaultValue of string * string * Model.container
  5. | NoClearForPartitionAsset of Ident.ident
  6. | DefaultValueOnKeyAsset of Ident.ident
  7. | CallerNotSetInInit
  8. | DuplicatedKeyAsset of Ident.ident
  9. | OnlyLiteralInAssetInit
  10. | NoEntrypoint
  11. | UnknownContract of Ident.ident
  12. | NoSortOnKeyWithMultiKey of Ident.ident
  13. | NoInitValueForParameter of Ident.ident
  14. | NoInitForPartitionAsset of Ident.ident
  15. | NoInitValueForConstParam 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 prune_formula : Model.model -> Model.model
val flat_sequence_mterm : Model.mterm -> Model.lident Model.mterm_gen
val flat_sequence : Model.model -> Model.model
val remove_add_update : ?with_force:bool -> ?isformula:bool -> Model.model -> Model.model
val remove_container_op_in_update : Model.model -> Model.model
val build_get : Ident.ident -> 'a Model.mterm_gen -> 'a Model.mterm_gen
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_number_entrypoint : 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_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 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 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 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 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 : ?js:bool -> 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