package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
val get_vars : model -> var list
val get_enums : model -> enum list
val get_assets : model -> asset list
val get_records : model -> record list
val get_var : model -> mident -> var
val get_var_opt : model -> mident -> var option
val get_enum : model -> mident -> enum
val get_enum_opt : model -> Ident.ident -> enum option
val get_enum_values : model -> Ident.ident -> Ident.ident list
val get_asset : model -> mident -> asset
val get_record : model -> mident -> record
val get_event : model -> mident -> record
val get_events : model -> record list
val get_asset_field : model -> (mident * Ident.ident) -> mident * type_ * mterm option
val get_asset_key : model -> mident -> Ident.ident * type_
val get_asset_value : model -> mident -> type_
val get_field_container : model -> mident -> Ident.ident -> mident * container
val get_partitions : model -> (Ident.ident * Ident.ident * type_) list
val get_container_asset_key : model -> Ident.ident -> Ident.ident -> mident * Ident.ident * type_
val is_asset : mterm -> bool
val get_key_pos : model -> mident -> int
val is_field_storage : model -> Ident.ident -> bool
val type_to_asset : type_ -> Ident.ident
val with_operations : model -> bool
val cmp : mterm -> mterm -> int
val eval : (Ident.ident * mterm) list -> mterm -> mterm
val mk_rat : Core.big_int -> Core.big_int -> mterm
val is_asset_single_field : model -> mident -> bool
val 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
val sort_api_storage : model -> bool -> api_storage list -> api_storage list
val extract_key_value_from_masset : model -> mterm -> mterm
val is_not_string_nat_int : type_ -> bool
val get_asset_partitions : model -> mident -> (Ident.ident * Ident.ident) list
val get_fss : model -> function_struct list
val get_fs : model -> Ident.ident -> function_struct
val get_record_pos : model -> mident -> Ident.ident -> (int * int) list
val is_partition : model -> mident -> Ident.ident -> bool