package archetype

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

Module Model.UtilsSource

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 -> Ident.ident -> var
Sourceval get_enum : model -> Ident.ident -> enum
Sourceval get_enum_values : model -> Ident.ident -> Ident.ident list
Sourceval get_asset : model -> Ident.ident -> asset
Sourceval get_record : model -> Ident.ident -> record
Sourceval get_storage : model -> storage
Sourceval get_asset_field : model -> (Ident.ident * Ident.ident) -> Ident.ident * type_ * mterm option
Sourceval get_asset_key : model -> Ident.ident -> Ident.ident * type_
Sourceval get_field_container : model -> Ident.ident -> Ident.ident -> Ident.ident * container
Sourceval is_storage_attribute : model -> Ident.ident -> bool
Sourceval get_named_field_list : model -> Ident.ident -> 'a list -> (Ident.ident * 'a) list
Sourceval get_containers : model -> (Ident.ident * Ident.ident * type_) list
Sourceval get_partitions : model -> (Ident.ident * Ident.ident * type_) list
Sourceval dest_container : type_ -> Ident.ident
Sourceval get_container_asset_key : model -> Ident.ident -> Ident.ident -> Ident.ident * Ident.ident * type_
Sourceval get_container_assets : model -> Ident.ident -> Ident.ident list
Sourceval get_entries : model -> (specification option * function_struct) list
Sourceval get_functions : model -> (specification option * function_struct * type_) list
Sourceval has_container : model -> Ident.ident -> bool
Sourceval get_asset_containers : model -> Ident.ident -> (Ident.ident * type_ * mterm option) list
Sourceval get_field_list : model -> Ident.ident -> Ident.ident list
Sourceval get_field_pos : model -> Ident.ident -> Ident.ident -> int
Sourceval get_nth_asset_val : int -> mterm -> mterm
Sourceval get_asset_type : mterm -> Ident.ident
Sourceval is_local_assigned : Ident.ident -> mterm -> bool
Sourceval get_function_args : function__ -> argument list
Sourceval set_function_args : function__ -> argument list -> function__
Sourceval map_function_terms : (mterm -> mterm) -> function__ -> function__
Sourceval is_asset : mterm -> bool
Sourceval is_varlocal : mterm -> bool
Sourceval dest_varlocal : mterm -> Ident.ident
Sourceval is_container : type_ -> bool
Sourceval get_key_pos : model -> Ident.ident -> int
Sourceval get_loop_invariants : model -> (Ident.ident * mterm) list -> Ident.ident -> (Ident.ident * mterm) list
Sourceval get_formula : model -> mterm option -> Ident.ident -> mterm option
Sourceval is_post : postcondition -> bool
Sourceval get_sum_idxs : model -> Ident.ident -> int list
Sourceval get_storage_invariants : model -> Ident.ident option -> (Ident.ident * Ident.ident * mterm) list
Sourceval is_field_storage : model -> Ident.ident -> bool
Sourceval with_trace : model -> bool
Sourceval get_callers : model -> Ident.ident -> Ident.ident list
Sourceval no_fail : model -> Ident.ident -> Ident.ident option
Sourceval type_to_asset : type_ -> Ident.ident
Sourceval get_map_function : model -> (Ident.ident * Ident.ident list) list
Sourceval retrieve_all_properties : model -> (Ident.ident * property) list
Sourceval retrieve_property : model -> Ident.ident -> property
Sourceval with_operations_for_mterm : mterm -> bool
Sourceval with_operations : model -> bool
Sourceval get_source_for : model -> ctx_model -> mterm -> mterm option
Sourceval cmp : mterm -> mterm -> int
Sourceval eval : (Ident.ident * mterm) list -> mterm -> mterm
Sourceval get_select_idx : model -> Ident.ident -> mterm -> int
Sourceval get_sum_idx : model -> Ident.ident -> mterm -> int
Sourceval get_removeif_idx : model -> Ident.ident -> mterm -> int
Sourceval with_division : model -> bool
Sourceval with_min_max : model -> bool
Sourceval with_count : model -> Ident.ident -> bool
Sourceval get_asset_collection : Ident.ident -> mterm
Sourceval is_asset_single_field : model -> Ident.ident -> bool
Sourceval get_labeled_value_from : model -> Ident.ident -> mterm list -> (Ident.ident * mterm) list
Sourceval 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 get_all_set_types : model -> type_ list
Sourceval get_all_list_types : model -> type_ list
Sourceval get_all_map_types : model -> type_ list
Sourceval get_all_fail_types : model -> type_ list
Sourceval get_all_gen_mterm_type : ('a list -> mterm -> 'a list) -> ('a list -> type_ -> 'a list) -> (decl_node -> 'a list -> 'a list) -> model -> 'a list
Sourceval get_all_type_for_mterm : ('a -> type_ -> 'a) -> 'a -> mterm -> 'a
Sourceval extract_key_value_from_masset : model -> mterm -> mterm
Sourceval is_not_string_nat_int : type_ -> bool
Sourceval get_function : model -> Ident.ident -> function_struct
Sourceval get_asset_partitions : model -> Ident.ident -> (Ident.ident * Ident.ident) list
Sourceval get_specifications : model -> specification list
Sourceval get_specification : model -> Ident.ident -> specification option
Sourceval get_fss : model -> function_struct list
Sourceval extract_assign_kind : mterm -> assign_kind list
Sourceval extract_asset_effect : model -> mterm -> effect list
Sourceval extract_var_idents : model -> mterm -> Ident.ident list
Sourceval get_record_pos : model -> Ident.ident -> Ident.ident -> (int * int) list
Sourceval is_partition : model -> Ident.ident -> Ident.ident -> bool
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct