archetype 1.5.0 · OCaml Package

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

package archetype