package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Archetype.Gen_transformSource

Sourcetype error_desc =
  1. | AssetPartitionnedby of string * string list
  2. | CannotBuildAsset of string * string
  3. | ContainersInAssetContainers of string * string * string
  4. | NoEmptyContainerForInitAsset of string * string * Model.container
  5. | CallerNotSetInInit
  6. | NoEntrypoint
Sourceval pp_error_desc : Format.formatter -> error_desc -> unit
Sourceval emit_error : (Location.t * error_desc) -> unit
Sourceval remove_add_update : Model.model -> Model.model
Sourceval replace_update_by_set : Model.model -> Model.model
Sourceval remove_label : Model.model -> Model.model
Sourceval flat_sequence : Model.model -> Model.model
Sourceval replace_lit_address_by_role : Model.model -> Model.model
Sourceval extend_loop_iter : Model.model -> Model.model
Sourceval extend_removeif : Model.model -> Model.model
Sourceval process_single_field_storage : Model.model -> Model.model
Sourceval check_partition_access : Model.model -> Model.model
Sourceval check_number_entrypoint : Model.model -> Model.model
Sourceval check_containers_asset : Model.model -> Model.model
Sourceval check_empty_container_on_initializedby : Model.model -> Model.model
Sourceval check_and_replace_init_caller : Model.model -> Model.model
Sourceval prune_properties : Model.model -> Model.model
Sourceval replace_declvar_by_letin : Model.model -> Model.model
Sourceval replace_label_by_mark : Model.model -> Model.model
Sourceval assign_loop_label : Model.model -> Model.model
Sourceval remove_enum_matchwith : Model.model -> Model.model
Sourceval remove_cmp_bool : Model.model -> Model.model
Sourceval remove_rational : Model.model -> Model.model
Sourceval replace_date_duration_by_timestamp : Model.model -> Model.model
Sourceval replace_assignfield_by_update : Model.model -> Model.model
Sourceval eval_variable_initial_value : Model.model -> Model.model
Sourceval add_explicit_sort : Model.model -> Model.model
Sourceval remove_cmp_enum : Model.model -> Model.model
Sourceval replace_whyml_ident : Model.model -> Model.model
Sourceval replace_ligo_ident : Model.model -> Model.model
Sourceval replace_ident_model_val : Model.model -> Model.model
Sourceval replace_key_by_asset : Model.model -> Model.model
Sourceval merge_update : Model.model -> Model.model
Sourceval process_asset_state : Model.model -> Model.model
Sourceval remove_fun_dotasset : Model.model -> Model.model
Sourceval remove_letin_from_expr : Model.model -> Model.model
Sourceval process_internal_string : Model.model -> Model.model
Sourceval split_key_values : Model.model -> Model.model
Sourceval replace_get_on_view : Model.model -> Model.model
Sourceval replace_for_to_iter : Model.model -> Model.model
Sourceval remove_duplicate_key : Model.model -> Model.model
Sourceval remove_assign_operator : Model.model -> Model.model