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. | 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
Sourceval pp_error_desc : Format.formatter -> error_desc -> unit
Sourceval emit_error : (Location.t * error_desc) -> unit
Sourceval prune_formula : Model.model -> Model.model
Sourceval flat_sequence_mterm : Model.mterm -> Model.lident Model.mterm_gen
Sourceval flat_sequence : Model.model -> Model.model
Sourceval remove_add_update : ?with_force:bool -> ?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 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_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_init_partition_in_asset : Model.model -> Model.model
Sourceval check_duplicated_keys_in_asset : Model.model -> Model.model
Sourceval prune_properties : Model.model -> Model.model
Sourceval move_partition_init_asset : 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_enum000 : Model.model -> Model.model
Sourcetype 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;
}
Sourceval remove_enum : 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 remove_rational_update : 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 is_whyml_keyword : string -> bool
Sourceval replace_whyml_ident : Model.model -> Model.model
Sourceval replace_ident_model_val : Model.model -> Model.model
Sourceval merge_update : 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 process_multi_keys : Model.model -> Model.model
Sourceval remove_storage_field_in_function : Model.model -> Model.model
Sourceval remove_asset : Model.model -> Model.model
Sourceval remove_high_level_model : Model.model -> Model.model
Sourceval normalize_storage : Model.model -> Model.model
Sourceval remove_constant : Model.model -> Model.model
Sourceval eval_storage : Model.model -> Model.model
Sourceval getter_to_entry : ?no_underscore:bool -> ?extra:bool -> Model.model -> Model.model
Sourceval process_metadata : Model.model -> Model.model
Sourceval reverse_operations : Model.model -> Model.model
Sourceval process_parameter : ?js:bool -> Model.model -> Model.model
Sourceval fix_container : Model.model -> Model.model
Sourceval expr_to_instr : Model.model -> Model.model
Sourceval instr_to_expr_exec : Model.model -> Model.model