archetype 0.1.14 · OCaml Package

type error_desc =

| AssetPartitionnedby of string * string list
| CannotBuildAsset of string * string
| ContainersInAssetContainers of string * string * string
| NoEmptyContainerForInitAsset of string * string * Model.container
| CallerNotSetInInit
| NoEntrypoint

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 remove_add_update : Model.model -> Model.model

val replace_update_by_set : Model.model -> Model.model

val remove_label : Model.model -> Model.model

val flat_sequence_mterm : 
  Model.lident Model.mterm_gen ->
  Model.lident Model.mterm_gen

val flat_sequence : Model.model -> Model.model

val replace_lit_address_by_role : Model.model -> Model.model

val extend_loop_iter : Model.model -> Model.model

type loop_ctx = (Model.lident, Ident.ident list) Model.ctx_model_gen

val extend_removeif : 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_initializedby : Model.model -> Model.model

val check_and_replace_init_caller : Model.model -> Model.model

val prune_properties : 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_enum_matchwith : Model.model -> Model.model

val remove_cmp_bool : 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 remove_cmp_enum : Model.model -> Model.model

val replace_whyml_ident : Model.model -> Model.model

val replace_ligo_ident : Model.model -> Model.model

val replace_ident_model_val : Model.model -> Model.model

val replace_key_by_asset : Model.model -> Model.model

val merge_update : Model.model -> Model.model

val process_asset_state : Model.model -> Model.model

val extract_term_from_instruction : 
  (Model.lident Model.mterm_gen ->
    Model.lident Model.mterm_gen
    * (Model.lident * Model.lident Model.mterm_gen) list) ->
  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 split_key_values : Model.model -> Model.model

val replace_get_on_view : 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

package archetype