package archetype

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

Module Archetype.Gen_transformSource

Sourcemodule MapString : sig ... end
Sourcemodule SetString : sig ... end
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. | NoEmptyContainerForDefaultValue of string * string * Model.container
  6. | NoClearForPartitionAsset of Ident.ident
  7. | DefaultValueOnKeyAsset of Ident.ident
  8. | CallerNotSetInInit
  9. | DuplicatedKeyAsset of Ident.ident
  10. | OnlyLiteralInAssetInit
  11. | NoEntrypoint
  12. | UnknownEntrysig of Ident.ident
  13. | NoSortOnKeyWithMultiKey of Ident.ident
Sourceval pp_error_desc : Format.formatter -> error_desc -> unit
Sourceval emit_error : (Location.t * error_desc) -> unit
Sourceval flat_sequence_mterm : Model.mterm -> Model.lident Model.mterm_gen
Sourceval flat_sequence : Model.model -> Model.model
Sourceval remove_add_update : ?isformula:bool -> Model.model -> Model.model
Sourceval remove_container_op_in_update : Model.model -> Model.model
Sourceval replace_update_by_set : Model.model -> Model.model
Sourceval remove_label : Model.model -> Model.model
Sourceval replace_lit_address_by_role : Model.model -> Model.model
Sourceval extend_loop_iter : 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_empty_container_on_asset_default_value : Model.model -> Model.model
Sourceval check_asset_key : Model.model -> Model.model
Sourceval check_and_replace_init_caller : ?doit:bool -> Model.model -> Model.model
Sourceval is_literal : Model.mterm -> bool
Sourceval check_duplicated_keys_in_asset : 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 update_nat_int_rat : 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 is_whyml_keyword : string -> bool
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 merge_update : Model.model -> Model.model
Sourceval process_asset_state : Model.model -> Model.model
Sourceval replace_dotassetfield_by_dot : 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 change_type_of_nth : Model.model -> Model.model
Sourceval add_contain_on_get : Model.model -> Model.model
Sourceval split_key_values : 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
Sourceval extract_item_collection_from_add_asset : Model.model -> Model.model
Sourceval check_if_asset_in_function : Model.model -> Model.model
Sourceval replace_instr_verif : Model.model -> Model.model
Sourceval rename_shadow_variable : Model.model -> Model.model
Sourceval concat_shadown_effect_to_exec : Model.model -> Model.model
Sourceval transfer_shadow_variable_to_storage : Model.model -> Model.model
Sourceval create_var_before_for : Model.model -> Model.model
Sourceval replace_col_by_key_for_ckfield : Model.model -> Model.model
Sourceval optimize : Model.model -> Model.model
Sourceval remove_asset : Model.model -> Model.model
Sourceval process_multi_keys : Model.model -> Model.model
Sourceval eval_storage : Model.model -> Model.model