Module `Model.Utils`Source

Sourceval get_vars : model -> var list

Sourceval get_enums : model -> enum list

Sourceval get_assets : model -> asset list

Sourceval get_records : model -> record list

Sourceval get_var : model -> mident -> var

Sourceval get_var_opt : model -> mident -> var option

Sourceval get_enum : model -> mident -> enum

Sourceval get_enum_opt : model -> Ident.ident -> enum option

Sourceval get_enum_values : model -> Ident.ident -> Ident.ident list

Sourceval get_asset : model -> mident -> asset

Sourceval get_record : model -> mident -> record

Sourceval get_event : model -> mident -> record

Sourceval get_events : model -> record list

val get_asset_field : 
  model ->
  (mident * Ident.ident) ->
  mident * type_ * mterm option

Sourceval get_asset_key : model -> mident -> Ident.ident * type_

Sourceval get_asset_value : model -> mident -> type_

Sourceval get_field_container : model -> mident -> Ident.ident -> mident * container

Sourceval get_partitions : model -> (Ident.ident * Ident.ident * type_) list

val get_container_asset_key : 
  model ->
  Ident.ident ->
  Ident.ident ->
  mident * Ident.ident * type_

Sourceval is_asset : mterm -> bool

Sourceval get_key_pos : model -> mident -> int

Sourceval is_field_storage : model -> Ident.ident -> bool

Sourceval type_to_asset : type_ -> Ident.ident

Sourceval with_operations : model -> bool

Sourceval cmp : mterm -> mterm -> int

Sourceval eval : (Ident.ident * mterm) list -> mterm -> mterm

Sourceval mk_rat : Core.big_int -> Core.big_int -> mterm

Sourceval is_asset_single_field : model -> mident -> bool

Sourceval is_asset_map : model -> mident -> bool

val get_labeled_value_from : 
  model ->
  mident ->
  mterm list ->
  (Ident.ident * mterm) list

val add_api_storage_in_list : 
  api_storage list ->
  api_storage ->
  api_storage list

Sourceval sort_api_storage : model -> bool -> api_storage list -> api_storage list

Sourceval extract_key_value_from_masset : model -> mterm -> mterm

Sourceval is_not_string_nat_int : type_ -> bool

Sourceval get_asset_partitions : model -> mident -> (Ident.ident * Ident.ident) list

Sourceval get_fss : model -> function_struct list

Sourceval get_fs : model -> Ident.ident -> function_struct

Sourceval get_record_pos : model -> mident -> Ident.ident -> (int * int) list

Sourceval is_partition : model -> mident -> Ident.ident -> bool

package archetype