= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type lident = Ident.ident Location.loced
val pp_lident :
Ppx_deriving_runtime.Format.formatter ->
lident ->
Ppx_deriving_runtime.unit
val show_lident : lident -> Ppx_deriving_runtime.string
type mident = lident
val pp_mident :
Ppx_deriving_runtime.Format.formatter ->
mident ->
Ppx_deriving_runtime.unit
val show_mident : mident -> Ppx_deriving_runtime.string
val pp_currency :
Ppx_deriving_runtime.Format.formatter ->
currency ->
Ppx_deriving_runtime.unit
val show_currency : currency -> Ppx_deriving_runtime.string
val pp_container :
Ppx_deriving_runtime.Format.formatter ->
container ->
Ppx_deriving_runtime.unit
val show_container : container -> Ppx_deriving_runtime.string
val pp_btyp :
Ppx_deriving_runtime.Format.formatter ->
btyp ->
Ppx_deriving_runtime.unit
val show_btyp : btyp -> Ppx_deriving_runtime.string
val pp_vset :
Ppx_deriving_runtime.Format.formatter ->
vset ->
Ppx_deriving_runtime.unit
val show_vset : vset -> Ppx_deriving_runtime.string
val pp_trtyp :
Ppx_deriving_runtime.Format.formatter ->
trtyp ->
Ppx_deriving_runtime.unit
val show_trtyp : trtyp -> Ppx_deriving_runtime.string
type ntype =
| Tasset of lident
| Tenum of lident
| Tstate
| Tbuiltin of btyp
| Tcontainer of type_ * container
| Tlist of type_
| Toption of type_
| Ttuple of type_ list
| Tset of type_
| Tmap of type_ * type_
| Tbig_map of type_ * type_
| Titerable_big_map of type_ * type_
| Tor of type_ * type_
| Trecord of lident
| Tevent of lident
| Tlambda of type_ * type_
| Tunit
| Tstorage
| Toperation
| Tcontract of type_
| Tprog of type_
| Tvset of vset * type_
| Ttrace of trtyp
| Tticket of type_
| Tsapling_state of int
| Tsapling_transaction of int
val pp_ntype :
Ppx_deriving_runtime.Format.formatter ->
ntype ->
Ppx_deriving_runtime.unit
val show_ntype : ntype -> Ppx_deriving_runtime.string
val pp_type_ :
Ppx_deriving_runtime.Format.formatter ->
type_ ->
Ppx_deriving_runtime.unit
val show_type_ : type_ -> Ppx_deriving_runtime.string
val pp_pattern_node :
Ppx_deriving_runtime.Format.formatter ->
pattern_node ->
Ppx_deriving_runtime.unit
val show_pattern_node : pattern_node -> Ppx_deriving_runtime.string
val pp_pattern :
Ppx_deriving_runtime.Format.formatter ->
pattern ->
Ppx_deriving_runtime.unit
val show_pattern : pattern -> Ppx_deriving_runtime.string
val pp_for_ident :
Ppx_deriving_runtime.Format.formatter ->
for_ident ->
Ppx_deriving_runtime.unit
val show_for_ident : for_ident -> Ppx_deriving_runtime.string
val pp_comparison_operator :
Ppx_deriving_runtime.Format.formatter ->
comparison_operator ->
Ppx_deriving_runtime.unit
val show_comparison_operator :
comparison_operator ->
Ppx_deriving_runtime.string
val pp_rat_arith_op :
Ppx_deriving_runtime.Format.formatter ->
rat_arith_op ->
Ppx_deriving_runtime.unit
val show_rat_arith_op : rat_arith_op -> Ppx_deriving_runtime.string
val pp_assignment_operator :
Ppx_deriving_runtime.Format.formatter ->
assignment_operator ->
Ppx_deriving_runtime.unit
val show_assignment_operator :
assignment_operator ->
Ppx_deriving_runtime.string
val pp_sort_kind :
Ppx_deriving_runtime.Format.formatter ->
sort_kind ->
Ppx_deriving_runtime.unit
val show_sort_kind : sort_kind -> Ppx_deriving_runtime.string
val pp_assign_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
'term assign_kind_gen ->
Ppx_deriving_runtime.unit
val show_assign_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
'term assign_kind_gen ->
Ppx_deriving_runtime.string
val pp_var_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
'term var_kind_gen ->
Ppx_deriving_runtime.unit
val show_var_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
'term var_kind_gen ->
Ppx_deriving_runtime.string
val pp_temp :
Ppx_deriving_runtime.Format.formatter ->
temp ->
Ppx_deriving_runtime.unit
val show_temp : temp -> Ppx_deriving_runtime.string
val pp_delta :
Ppx_deriving_runtime.Format.formatter ->
delta ->
Ppx_deriving_runtime.unit
val show_delta : delta -> Ppx_deriving_runtime.string
type 'term container_kind_gen =
| CKcoll of temp * delta
| CKview of 'term
| CKfield of Ident.ident * Ident.ident * 'term * temp * delta
| CKdef of Ident.ident
val pp_container_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
'term container_kind_gen ->
Ppx_deriving_runtime.unit
val show_container_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
'term container_kind_gen ->
Ppx_deriving_runtime.string
type 'term iter_container_kind_gen =
| ICKcoll of Ident.ident
| ICKview of 'term
| ICKfield of Ident.ident * Ident.ident * 'term
| ICKset of 'term
| ICKlist of 'term
| ICKmap of 'term
val pp_iter_container_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
'term iter_container_kind_gen ->
Ppx_deriving_runtime.unit
val show_iter_container_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
'term iter_container_kind_gen ->
Ppx_deriving_runtime.string
type 'term transfer_kind_gen =
| TKsimple of 'term * 'term
| TKcall of 'term * Ident.ident * type_ * 'term * 'term
| TKentry of 'term * 'term * 'term
| TKgen of 'term * Ident.ident * Ident.ident * type_ * 'term * 'term
| TKself of 'term * Ident.ident * (Ident.ident * 'term) list
| TKoperation of 'term
val pp_transfer_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
'term transfer_kind_gen ->
Ppx_deriving_runtime.unit
val show_transfer_kind_gen :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
'term transfer_kind_gen ->
Ppx_deriving_runtime.string
val pp_map_kind :
Ppx_deriving_runtime.Format.formatter ->
map_kind ->
Ppx_deriving_runtime.unit
val show_map_kind : map_kind -> Ppx_deriving_runtime.string
val pp_michelson_struct :
Ppx_deriving_runtime.Format.formatter ->
michelson_struct ->
Ppx_deriving_runtime.unit
val show_michelson_struct : michelson_struct -> Ppx_deriving_runtime.string
type 'term mterm_node =
| Mletin of mident list * 'term * type_ option * 'term * 'term option
| Mdeclvar of mident list * type_ option * 'term * bool
| Mdeclvaropt of mident list * type_ option * 'term * 'term option * bool
| Mapp of mident * 'term list
| Massign of assignment_operator * type_ * 'term assign_kind_gen * 'term
| Massignopt of assignment_operator * type_ * 'term assign_kind_gen * 'term * 'term
| Mif of 'term * 'term * 'term option
| Mmatchwith of 'term * (pattern * 'term) list
| Minstrmatchoption of 'term * mident * 'term * 'term
| Minstrmatchor of 'term * mident * 'term * mident * 'term
| Minstrmatchlist of 'term * mident * mident * 'term * 'term
| Mfor of for_ident * 'term iter_container_kind_gen * 'term * Ident.ident option
| Miter of mident * 'term * 'term * 'term * Ident.ident option * bool
| Mwhile of 'term * 'term * Ident.ident option
| Mseq of 'term list
| Mreturn of 'term
| Mlabel of mident
| Mmark of mident * 'term
| Mfail of fail_type
| Mfailsome of 'term
| Mtransfer of 'term transfer_kind_gen
| Memit of mident * 'term
| Mgetentrypoint of type_ * mident * 'term
| Mcallview of type_ * 'term * mident * 'term
| Mimportcallview of type_ * 'term * mident * 'term
| Mself of mident
| Moperations
| Mmakeoperation of 'term * 'term * 'term
| Mmakeevent of type_ * mident * 'term
| Mcreatecontract of michelson_struct * 'term * 'term * 'term
| Mint of Core.big_int
| Mnat of Core.big_int
| Mbool of bool
| Mrational of Core.big_int * Core.big_int
| Mstring of string
| Mcurrency of Core.big_int * currency
| Maddress of string
| Mdate of Core.date
| Mduration of Core.duration
| Mtimestamp of Core.big_int
| Mbytes of string
| Mchain_id of string
| Mkey of string
| Mkey_hash of string
| Msignature of string
| Mbls12_381_fr of string
| Mbls12_381_fr_n of Core.big_int
| Mbls12_381_g1 of string
| Mbls12_381_g2 of string
| Munit
| MsaplingStateEmpty of int
| MsaplingTransaction of int * string
| Mchest of string
| Mchest_key of string
| Mexprif of 'term * 'term * 'term
| Mexprmatchwith of 'term * (pattern * 'term) list
| Mmatchoption of 'term * mident * 'term * 'term
| Mmatchor of 'term * mident * 'term * mident * 'term
| Mmatchlist of 'term * mident * mident * 'term * 'term
| Mternarybool of 'term * 'term * 'term
| Mternaryoption of 'term * 'term * 'term
| Mfold of 'term * mident * 'term
| Mmap of 'term * mident * 'term
| Mexeclambda of 'term * 'term
| Mapplylambda of 'term * 'term
| Mleft of type_ * 'term
| Mright of type_ * 'term
| Mnone
| Msome of 'term
| Mtuple of 'term list
| Masset of 'term list
| Massets of 'term list
| Mlitset of 'term list
| Mlitlist of 'term list
| Mlitmap of map_kind * ('term * 'term) list
| Mlitrecord of (Ident.ident * 'term) list
| Mlitevent of (Ident.ident * 'term) list
| Mlambda of type_ * mident * type_ * 'term
| Mdot of 'term * mident
| Mdotassetfield of mident * 'term * mident
| Mquestionoption of 'term * mident
| Mequal of type_ * 'term * 'term
| Mnequal of type_ * 'term * 'term
| Mgt of 'term * 'term
| Mge of 'term * 'term
| Mlt of 'term * 'term
| Mle of 'term * 'term
| Mmulticomp of 'term * (comparison_operator * 'term) list
| Mand of 'term * 'term
| Mor of 'term * 'term
| Mgreedyand of 'term * 'term
| Mgreedyor of 'term * 'term
| Mxor of 'term * 'term
| Mnot of 'term
| Mplus of 'term * 'term
| Mminus of 'term * 'term
| Mmult of 'term * 'term
| Mdivrat of 'term * 'term
| Mdiveuc of 'term * 'term
| Mmodulo of 'term * 'term
| Mdivmod of 'term * 'term
| Muminus of 'term
| MthreeWayCmp of 'term * 'term
| Mshiftleft of 'term * 'term
| Mshiftright of 'term * 'term
| Msubnat of 'term * 'term
| Msubmutez of 'term * 'term
| Maddasset of Ident.ident * 'term
| Mputsingleasset of Ident.ident * 'term
| Mputasset of Ident.ident * 'term * 'term
| Maddfield of Ident.ident * Ident.ident * 'term * 'term
| Mremoveasset of Ident.ident * 'term
| Mremovefield of Ident.ident * Ident.ident * 'term * 'term
| Mremoveall of Ident.ident * 'term container_kind_gen
| Mremoveif of Ident.ident * 'term container_kind_gen * (Ident.ident * type_) list * 'term * 'term list
| Mclear of Ident.ident * 'term container_kind_gen
| Mset of Ident.ident * Ident.ident list * 'term * 'term
| Mupdate of Ident.ident * 'term * (mident * assignment_operator * 'term) list
| Mupdateall of Ident.ident * 'term container_kind_gen * (mident * assignment_operator * 'term) list
| Maddupdate of Ident.ident * 'term container_kind_gen * 'term * (mident * assignment_operator * 'term) list
| Mputremove of Ident.ident * 'term container_kind_gen * 'term * 'term
| Mget of Ident.ident * 'term container_kind_gen * 'term
| Mgetsome of Ident.ident * 'term container_kind_gen * 'term
| Mselect of Ident.ident * 'term container_kind_gen * (Ident.ident * type_) list * 'term * 'term list
| Msort of Ident.ident * 'term container_kind_gen * (Ident.ident * sort_kind) list
| Mcontains of Ident.ident * 'term container_kind_gen * 'term
| Mnth of Ident.ident * 'term container_kind_gen * 'term
| Mcount of Ident.ident * 'term container_kind_gen
| Msum of Ident.ident * 'term container_kind_gen * 'term
| Mhead of Ident.ident * 'term container_kind_gen * 'term
| Mtail of Ident.ident * 'term container_kind_gen * 'term
| Mcast of type_ * type_ * 'term
| Mtupleaccess of 'term * Core.big_int
| Mrecupdate of 'term * (Ident.ident * 'term) list
| Mmakeasset of Ident.ident * 'term * 'term
| Mtocontainer of Ident.ident
| Msetadd of type_ * 'term * 'term
| Msetremove of type_ * 'term * 'term
| Msetupdate of type_ * 'term * 'term * 'term
| Msetcontains of type_ * 'term * 'term
| Msetlength of type_ * 'term
| Msetfold of type_ * mident * mident * 'term * 'term * 'term
| Msetinstradd of type_ * 'term assign_kind_gen * 'term
| Msetinstrremove of type_ * 'term assign_kind_gen * 'term
| Mlistprepend of type_ * 'term * 'term
| Mlistlength of type_ * 'term
| Mlistcontains of type_ * 'term * 'term
| Mlistnth of type_ * 'term * 'term
| Mlistreverse of type_ * 'term
| Mlistconcat of type_ * 'term * 'term
| Mlistfold of type_ * mident * mident * 'term * 'term * 'term
| Mlistinstrprepend of type_ * 'term assign_kind_gen * 'term
| Mlistinstrconcat of type_ * 'term assign_kind_gen * 'term
| Mmapput of map_kind * type_ * type_ * 'term * 'term * 'term
| Mmapremove of map_kind * type_ * type_ * 'term * 'term
| Mmapupdate of map_kind * type_ * type_ * 'term * 'term * 'term
| Mmapget of map_kind * type_ * type_ * 'term * 'term * Ident.ident option
| Mmapgetopt of map_kind * type_ * type_ * 'term * 'term
| Mmapcontains of map_kind * type_ * type_ * 'term * 'term
| Mmaplength of map_kind * type_ * type_ * 'term
| Mmapfold of map_kind * type_ * mident * mident * mident * 'term * 'term * 'term
| Mmapinstrput of map_kind * type_ * type_ * 'term assign_kind_gen * 'term * 'term
| Mmapinstrremove of map_kind * type_ * type_ * 'term assign_kind_gen * 'term
| Mmapinstrupdate of map_kind * type_ * type_ * 'term assign_kind_gen * 'term * 'term
| Mmin of 'term * 'term
| Mmax of 'term * 'term
| Mabs of 'term
| Mconcat of 'term * 'term
| Mconcatlist of 'term
| Mslice of 'term * 'term * 'term
| Mlength of 'term
| Misnone of 'term
| Missome of 'term
| Minttonat of 'term
| Mfloor of 'term
| Mceil of 'term
| Mnattostring of 'term
| Mpack of 'term
| Munpack of type_ * 'term
| Msetdelegate of 'term
| Mkeyhashtocontract of 'term
| Mcontracttoaddress of 'term
| Maddresstocontract of type_ * 'term
| Mkeytoaddress of 'term
| Mblake2b of 'term
| Msha256 of 'term
| Msha512 of 'term
| Msha3 of 'term
| Mkeccak of 'term
| Mkeytokeyhash of 'term
| Mchecksignature of 'term * 'term * 'term
| Mtotalvotingpower
| Mvotingpower of 'term
| Mcreateticket of 'term * 'term
| Mreadticket of 'term
| Msplitticket of 'term * 'term * 'term
| Mjointickets of 'term * 'term
| Msapling_empty_state of int
| Msapling_verify_update of 'term * 'term
| Mpairing_check of 'term
| Mopen_chest of 'term * 'term * 'term
| Mnow
| Mtransferred
| Mcaller
| Mbalance
| Msource
| Mselfaddress
| Mselfchainid
| Mmetadata
| Mlevel
| Mvar of mident * 'term var_kind_gen * temp * delta
| Menumval of mident * 'term list * Ident.ident
| Mrateq of 'term * 'term
| Mratcmp of comparison_operator * 'term * 'term
| Mratarith of rat_arith_op * 'term * 'term
| Mratuminus of 'term
| Mrattez of 'term * 'term
| Mnattoint of 'term
| Mnattorat of 'term
| Minttorat of 'term
| Mratdur of 'term * 'term
| Minttodate of 'term
| Mmuteztonat of 'term
| Mforall of mident * type_ * 'term option * 'term
| Mexists of mident * type_ * 'term option * 'term
| Mimply of 'term * 'term
| Mequiv of 'term * 'term
| Msetiterated of 'term iter_container_kind_gen
| Msettoiterate of 'term iter_container_kind_gen
| Mempty of Ident.ident
| Msingleton of Ident.ident * 'term
| Msubsetof of Ident.ident * 'term container_kind_gen * 'term
| Misempty of Ident.ident * 'term
| Munion of Ident.ident * 'term * 'term
| Minter of Ident.ident * 'term * 'term
| Mdiff of Ident.ident * 'term * 'term
and assign_kind = mterm assign_kind_gen
and var_kind = mterm var_kind_gen
and container_kind = mterm container_kind_gen
and iter_container_kind = mterm iter_container_kind_gen
and transfer_kind = mterm transfer_kind_gen
and mterm = mterm_gen
and mterm__node = mterm mterm_node
and fail_type =
| Invalid of mterm
| InvalidCaller
| InvalidSource
| InvalidCondition of Ident.ident * mterm option
| NotFound
| AssetNotFound of Ident.ident
| KeyExists of Ident.ident
| KeyExistsOrNotFound of Ident.ident
| DivByZero
| NatNegAssign
| NoTransfer
| InvalidState
and api_asset =
| Get of Ident.ident
| Set of Ident.ident
| Add of Ident.ident
| Remove of Ident.ident
| Clear of Ident.ident * api_container_kind
| Update of Ident.ident * (Ident.ident * assignment_operator * mterm) list
| FieldAdd of Ident.ident * Ident.ident
| FieldRemove of Ident.ident * Ident.ident
| RemoveAll of Ident.ident * api_container_kind
| RemoveIf of Ident.ident * api_container_kind * (Ident.ident * type_) list * mterm
| Contains of Ident.ident * api_container_kind
| Nth of Ident.ident * api_container_kind
| Select of Ident.ident * api_container_kind * (Ident.ident * type_) list * mterm
| Sort of Ident.ident * api_container_kind * (Ident.ident * sort_kind) list
| Count of Ident.ident * api_container_kind
| Sum of Ident.ident * api_container_kind * type_ * mterm
| Head of Ident.ident * api_container_kind
| Tail of Ident.ident * api_container_kind
and api_storage_node =
| APIAsset of api_asset
| APIList of api_list
| APIBuiltin of api_builtin
| APIInternal of api_internal
and entry_description =
| ADany
| ADadd of Ident.ident
| ADremove of Ident.ident
| ADupdate of Ident.ident
| ADtransfer of Ident.ident
| ADget of Ident.ident
| ADiterate of Ident.ident
| ADcall of Ident.ident
and security_role = lident
val pp_mterm_node :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
'term mterm_node ->
Ppx_deriving_runtime.unit
val show_mterm_node :
'term. (Ppx_deriving_runtime.Format.formatter ->
'term ->
Ppx_deriving_runtime.unit) ->
'term mterm_node ->
Ppx_deriving_runtime.string
val pp_assign_kind :
Ppx_deriving_runtime.Format.formatter ->
assign_kind ->
Ppx_deriving_runtime.unit
val show_assign_kind : assign_kind -> Ppx_deriving_runtime.string
val pp_var_kind :
Ppx_deriving_runtime.Format.formatter ->
var_kind ->
Ppx_deriving_runtime.unit
val show_var_kind : var_kind -> Ppx_deriving_runtime.string
val pp_container_kind :
Ppx_deriving_runtime.Format.formatter ->
container_kind ->
Ppx_deriving_runtime.unit
val show_container_kind : container_kind -> Ppx_deriving_runtime.string
val pp_iter_container_kind :
Ppx_deriving_runtime.Format.formatter ->
iter_container_kind ->
Ppx_deriving_runtime.unit
val show_iter_container_kind :
iter_container_kind ->
Ppx_deriving_runtime.string
val pp_transfer_kind :
Ppx_deriving_runtime.Format.formatter ->
transfer_kind ->
Ppx_deriving_runtime.unit
val show_transfer_kind : transfer_kind -> Ppx_deriving_runtime.string
val pp_mterm_gen :
Ppx_deriving_runtime.Format.formatter ->
mterm ->
Ppx_deriving_runtime.unit
val show_mterm_gen : mterm -> Ppx_deriving_runtime.string
val pp_mterm :
Ppx_deriving_runtime.Format.formatter ->
mterm ->
Ppx_deriving_runtime.unit
val show_mterm : mterm -> Ppx_deriving_runtime.string
val pp_mterm__node :
Ppx_deriving_runtime.Format.formatter ->
mterm__node ->
Ppx_deriving_runtime.unit
val show_mterm__node : mterm__node -> Ppx_deriving_runtime.string
val pp_fail_type :
Ppx_deriving_runtime.Format.formatter ->
fail_type ->
Ppx_deriving_runtime.unit
val show_fail_type : fail_type -> Ppx_deriving_runtime.string
val pp_api_container_kind :
Ppx_deriving_runtime.Format.formatter ->
api_container_kind ->
Ppx_deriving_runtime.unit
val show_api_container_kind : api_container_kind -> Ppx_deriving_runtime.string
val pp_api_asset :
Ppx_deriving_runtime.Format.formatter ->
api_asset ->
Ppx_deriving_runtime.unit
val show_api_asset : api_asset -> Ppx_deriving_runtime.string
val pp_api_list :
Ppx_deriving_runtime.Format.formatter ->
api_list ->
Ppx_deriving_runtime.unit
val show_api_list : api_list -> Ppx_deriving_runtime.string
val pp_api_builtin :
Ppx_deriving_runtime.Format.formatter ->
api_builtin ->
Ppx_deriving_runtime.unit
val show_api_builtin : api_builtin -> Ppx_deriving_runtime.string
val pp_api_internal :
Ppx_deriving_runtime.Format.formatter ->
api_internal ->
Ppx_deriving_runtime.unit
val show_api_internal : api_internal -> Ppx_deriving_runtime.string
val pp_api_storage_node :
Ppx_deriving_runtime.Format.formatter ->
api_storage_node ->
Ppx_deriving_runtime.unit
val show_api_storage_node : api_storage_node -> Ppx_deriving_runtime.string
val pp_api_loc :
Ppx_deriving_runtime.Format.formatter ->
api_loc ->
Ppx_deriving_runtime.unit
val show_api_loc : api_loc -> Ppx_deriving_runtime.string
val pp_api_storage :
Ppx_deriving_runtime.Format.formatter ->
api_storage ->
Ppx_deriving_runtime.unit
val show_api_storage : api_storage -> Ppx_deriving_runtime.string
val pp_api_verif :
Ppx_deriving_runtime.Format.formatter ->
api_verif ->
Ppx_deriving_runtime.unit
val show_api_verif : api_verif -> Ppx_deriving_runtime.string
val pp_entry_description :
Ppx_deriving_runtime.Format.formatter ->
entry_description ->
Ppx_deriving_runtime.unit
val show_entry_description : entry_description -> Ppx_deriving_runtime.string
val pp_security_role :
Ppx_deriving_runtime.Format.formatter ->
security_role ->
Ppx_deriving_runtime.unit
val show_security_role : security_role -> Ppx_deriving_runtime.string
val pp_security_entry :
Ppx_deriving_runtime.Format.formatter ->
security_entry ->
Ppx_deriving_runtime.unit
val show_security_entry : security_entry -> Ppx_deriving_runtime.string
val pp_label_term :
Ppx_deriving_runtime.Format.formatter ->
label_term ->
Ppx_deriving_runtime.unit
val show_label_term : label_term -> Ppx_deriving_runtime.string
val pp_model_type :
Ppx_deriving_runtime.Format.formatter ->
model_type ->
Ppx_deriving_runtime.unit
val show_model_type : model_type -> Ppx_deriving_runtime.string
type storage_item = {
id : mident;
model_type : model_type;
typ : type_;
const : bool;
ghost : bool;
default : mterm;
loc : Location.t;
}
val pp_storage_item :
Ppx_deriving_runtime.Format.formatter ->
storage_item ->
Ppx_deriving_runtime.unit
val show_storage_item : storage_item -> Ppx_deriving_runtime.string
type storage = storage_item list
val pp_storage :
Ppx_deriving_runtime.Format.formatter ->
storage ->
Ppx_deriving_runtime.unit
val show_storage : storage -> Ppx_deriving_runtime.string
val pp_enum_item :
Ppx_deriving_runtime.Format.formatter ->
enum_item ->
Ppx_deriving_runtime.unit
val show_enum_item : enum_item -> Ppx_deriving_runtime.string
val pp_variable_kind :
Ppx_deriving_runtime.Format.formatter ->
variable_kind ->
Ppx_deriving_runtime.unit
val show_variable_kind : variable_kind -> Ppx_deriving_runtime.string
type var = {
name : mident;
type_ : type_;
original_type : type_;
kind : variable_kind;
default : mterm option;
invariants : label_term list;
loc : Location.t;
}
val pp_var :
Ppx_deriving_runtime.Format.formatter ->
var ->
Ppx_deriving_runtime.unit
val show_var : var -> Ppx_deriving_runtime.string
val pp_enum :
Ppx_deriving_runtime.Format.formatter ->
enum ->
Ppx_deriving_runtime.unit
val show_enum : enum -> Ppx_deriving_runtime.string
type asset_item = {
name : mident;
type_ : type_;
original_type : type_;
default : mterm option;
shadow : bool;
loc : Location.t;
}
val pp_asset_item :
Ppx_deriving_runtime.Format.formatter ->
asset_item ->
Ppx_deriving_runtime.unit
val show_asset_item : asset_item -> Ppx_deriving_runtime.string
type asset = {
name : mident;
values : asset_item list;
keys : Ident.ident list;
sort : mident list;
map_kind : map_kind;
state : lident option;
invariants : label_term list;
init : mterm list;
loc : Location.t;
}
val pp_asset :
Ppx_deriving_runtime.Format.formatter ->
asset ->
Ppx_deriving_runtime.unit
val show_asset : asset -> Ppx_deriving_runtime.string
val pp_position :
Ppx_deriving_runtime.Format.formatter ->
position ->
Ppx_deriving_runtime.unit
val show_position : position -> Ppx_deriving_runtime.string
val pp_record_field :
Ppx_deriving_runtime.Format.formatter ->
record_field ->
Ppx_deriving_runtime.unit
val show_record_field : record_field -> Ppx_deriving_runtime.string
val pp_record :
Ppx_deriving_runtime.Format.formatter ->
record ->
Ppx_deriving_runtime.unit
val show_record : record -> Ppx_deriving_runtime.string
val pp_function_ :
Ppx_deriving_runtime.Format.formatter ->
function_ ->
Ppx_deriving_runtime.unit
val show_function_ : function_ -> Ppx_deriving_runtime.string
val pp_entry :
Ppx_deriving_runtime.Format.formatter ->
entry ->
Ppx_deriving_runtime.unit
val show_entry : entry -> Ppx_deriving_runtime.string
val pp_argument :
Ppx_deriving_runtime.Format.formatter ->
argument ->
Ppx_deriving_runtime.unit
val show_argument : argument -> Ppx_deriving_runtime.string
type function_struct = {
name : mident;
args : argument list;
eargs : argument list;
stovars : Ident.ident list;
body : mterm;
loc : Location.t;
}
val pp_function_struct :
Ppx_deriving_runtime.Format.formatter ->
function_struct ->
Ppx_deriving_runtime.unit
val show_function_struct : function_struct -> Ppx_deriving_runtime.string
val pp_view_visibility :
Ppx_deriving_runtime.Format.formatter ->
view_visibility ->
Ppx_deriving_runtime.unit
val show_view_visibility : view_visibility -> Ppx_deriving_runtime.string
type function_node =
| Function of function_struct * type_
| Getter of function_struct * type_
| View of function_struct * type_ * view_visibility
| Entry of function_struct
val pp_function_node :
Ppx_deriving_runtime.Format.formatter ->
function_node ->
Ppx_deriving_runtime.unit
val show_function_node : function_node -> Ppx_deriving_runtime.string
val pp_signature :
Ppx_deriving_runtime.Format.formatter ->
signature ->
Ppx_deriving_runtime.unit
val show_signature : signature -> Ppx_deriving_runtime.string
val pp_variable :
Ppx_deriving_runtime.Format.formatter ->
variable ->
Ppx_deriving_runtime.unit
val show_variable : variable -> Ppx_deriving_runtime.string
val pp_predicate :
Ppx_deriving_runtime.Format.formatter ->
predicate ->
Ppx_deriving_runtime.unit
val show_predicate : predicate -> Ppx_deriving_runtime.string
val pp_definition :
Ppx_deriving_runtime.Format.formatter ->
definition ->
Ppx_deriving_runtime.unit
val show_definition : definition -> Ppx_deriving_runtime.string
val pp_invariant :
Ppx_deriving_runtime.Format.formatter ->
invariant ->
Ppx_deriving_runtime.unit
val show_invariant : invariant -> Ppx_deriving_runtime.string
val pp_fail :
Ppx_deriving_runtime.Format.formatter ->
fail ->
Ppx_deriving_runtime.unit
val show_fail : fail -> Ppx_deriving_runtime.string
val pp_spec_mode :
Ppx_deriving_runtime.Format.formatter ->
spec_mode ->
Ppx_deriving_runtime.unit
val show_spec_mode : spec_mode -> Ppx_deriving_runtime.string
val pp_postcondition :
Ppx_deriving_runtime.Format.formatter ->
postcondition ->
Ppx_deriving_runtime.unit
val show_postcondition : postcondition -> Ppx_deriving_runtime.string
val pp_assert_ :
Ppx_deriving_runtime.Format.formatter ->
assert_ ->
Ppx_deriving_runtime.unit
val show_assert_ : assert_ -> Ppx_deriving_runtime.string
type specification = {
predicates : predicate list;
definitions : definition list;
lemmas : label_term list;
theorems : label_term list;
fails : fail list;
variables : variable list;
invariants : (mident * label_term list) list;
effects : mterm list;
postconditions : postcondition list;
loc : Location.t;
}
val pp_specification :
Ppx_deriving_runtime.Format.formatter ->
specification ->
Ppx_deriving_runtime.unit
val show_specification : specification -> Ppx_deriving_runtime.string
type security_node =
| SonlyByRole of entry_description * security_role list
| SonlyInEntry of entry_description * security_entry
| SonlyByRoleInEntry of entry_description * security_role list * security_entry
| SnotByRole of entry_description * security_role list
| SnotInEntry of entry_description * security_entry
| SnotByRoleInEntry of entry_description * security_role list * security_entry
| StransferredBy of entry_description
| StransferredTo of entry_description
| SnoStorageFail of security_entry
val pp_security_node :
Ppx_deriving_runtime.Format.formatter ->
security_node ->
Ppx_deriving_runtime.unit
val show_security_node : security_node -> Ppx_deriving_runtime.string
val pp_security_predicate :
Ppx_deriving_runtime.Format.formatter ->
security_predicate ->
Ppx_deriving_runtime.unit
val show_security_predicate : security_predicate -> Ppx_deriving_runtime.string
val pp_security_item :
Ppx_deriving_runtime.Format.formatter ->
security_item ->
Ppx_deriving_runtime.unit
val show_security_item : security_item -> Ppx_deriving_runtime.string
val pp_security :
Ppx_deriving_runtime.Format.formatter ->
security ->
Ppx_deriving_runtime.unit
val show_security : security -> Ppx_deriving_runtime.string
val pp_function__ :
Ppx_deriving_runtime.Format.formatter ->
function__ ->
Ppx_deriving_runtime.unit
val show_function__ : function__ -> Ppx_deriving_runtime.string
val pp_decl_node :
Ppx_deriving_runtime.Format.formatter ->
decl_node ->
Ppx_deriving_runtime.unit
val show_decl_node : decl_node -> Ppx_deriving_runtime.string
type parameter = {
name : mident;
typ : type_;
default : mterm option;
value : mterm option;
const : bool;
loc : Location.t;
}
val pp_parameter :
Ppx_deriving_runtime.Format.formatter ->
parameter ->
Ppx_deriving_runtime.unit
val show_parameter : parameter -> Ppx_deriving_runtime.string
val pp_metadata_kind :
Ppx_deriving_runtime.Format.formatter ->
metadata_kind ->
Ppx_deriving_runtime.unit
val show_metadata_kind : metadata_kind -> Ppx_deriving_runtime.string
val pp_odel_asset :
Ppx_deriving_runtime.Format.formatter ->
odel_asset ->
Ppx_deriving_runtime.unit
val show_odel_asset : odel_asset -> Ppx_deriving_runtime.string
val pp_odel_record :
Ppx_deriving_runtime.Format.formatter ->
odel_record ->
Ppx_deriving_runtime.unit
val show_odel_record : odel_record -> Ppx_deriving_runtime.string
val pp_odel_enum :
Ppx_deriving_runtime.Format.formatter ->
odel_enum ->
Ppx_deriving_runtime.unit
val show_odel_enum : odel_enum -> Ppx_deriving_runtime.string
val pp_original_decl :
Ppx_deriving_runtime.Format.formatter ->
original_decl ->
Ppx_deriving_runtime.unit
val show_original_decl : original_decl -> Ppx_deriving_runtime.string
val pp_extra :
Ppx_deriving_runtime.Format.formatter ->
extra ->
Ppx_deriving_runtime.unit
val show_extra : extra -> Ppx_deriving_runtime.string
val pp_import_kind_node :
Ppx_deriving_runtime.Format.formatter ->
import_kind_node ->
Ppx_deriving_runtime.unit
val show_import_kind_node : import_kind_node -> Ppx_deriving_runtime.string
type import = {
name : lident;
path : lident;
kind_node : import_kind_node;
views : (Ident.ident * (type_ * type_)) list;
entrypoints : (Ident.ident * type_) list;
}
val pp_import :
Ppx_deriving_runtime.Format.formatter ->
import ->
Ppx_deriving_runtime.unit
val show_import : import -> Ppx_deriving_runtime.string
type model = {
name : lident;
parameters : parameter list;
imports : import list;
metadata : metadata_kind option;
api_items : api_storage list;
api_verif : api_verif list;
decls : decl_node list;
storage : storage;
functions : function__ list;
specification : specification;
security : security;
extra : extra;
loc : Location.t;
}
val pp_model :
Ppx_deriving_runtime.Format.formatter ->
model ->
Ppx_deriving_runtime.unit
val show_model : model -> Ppx_deriving_runtime.string
type property =
| Ppostcondition of postcondition * Ident.ident option
| PstorageInvariant of label_term * Ident.ident
| PsecurityPredicate of security_item
val pp_property :
Ppx_deriving_runtime.Format.formatter ->
property ->
Ppx_deriving_runtime.unit
val show_property : property -> Ppx_deriving_runtime.string
val mk_pattern : ?loc:Location.t -> pattern_node -> pattern
val mk_mterm : ?loc:Location.t -> mterm_gen mterm_node -> type_ -> mterm
val mk_label_term : ?loc:Location.t -> mterm -> mident -> label_term
val mk_variable : ?loc:Location.t -> argument -> variable_kind -> variable
val mk_definition :
?loc:Location.t ->
mident ->
type_ ->
mident ->
mterm ->
definition
val mk_specification :
?predicates:predicate list ->
?definitions:definition list ->
?lemmas:label_term list ->
?theorems:label_term list ->
?fails:fail list ->
?variables:variable list ->
?invariants:(mident * label_term list) list ->
?effects:mterm list ->
?postconditions:postcondition list ->
?loc:Location.t ->
unit ->
specification
val mk_security_predicate :
?loc:Location.t ->
security_node ->
security_predicate
val mk_security_item :
?loc:Location.t ->
lident ->
security_predicate ->
security_item
val mk_security :
?items:security_item list ->
?loc:Location.t ->
unit ->
security
val mk_var :
?invariants:label_term list ->
?default:mterm ->
?loc:Location.t ->
mident ->
type_ ->
type_ ->
variable_kind ->
var
val mk_enum_item :
?args:type_ list ->
?invariants:label_term list ->
mident ->
enum_item
val mk_asset :
?values:asset_item list ->
?sort:mident list ->
?map_kind:map_kind ->
?state:lident ->
?keys:Ident.ident list ->
?invariants:label_term list ->
?init:mterm list ->
?loc:Location.t ->
mident ->
asset
val mk_asset_item :
?default:mterm ->
?shadow:bool ->
?loc:Location.t ->
mident ->
type_ ->
type_ ->
asset_item
val mk_record :
?fields:record_field list ->
?pos:position ->
?loc:Location.t ->
mident ->
record
val mk_record_field : ?loc:Location.t -> mident -> type_ -> record_field
val mk_storage_item :
?const:bool ->
?ghost:bool ->
?loc:Location.t ->
mident ->
model_type ->
type_ ->
mterm ->
storage_item
val mk_function_struct :
?args:argument list ->
?eargs:argument list ->
?stovars:Ident.ident list ->
?loc:Location.t ->
mident ->
mterm ->
function_struct
val mk_function : ?spec:specification -> function_node -> function__
val mk_api_item : api_storage_node -> api_loc -> api_storage
val mk_odel_asset : Ident.ident -> type_ -> type_ -> type_ -> odel_asset
val mk_odel_record : Ident.ident -> type_ -> odel_record
val mk_odel_enum : Ident.ident -> type_ -> odel_enum
val mk_extra : ?original_decls:original_decl list -> unit -> extra
val mk_model :
?parameters:parameter list ->
?imports:import list ->
?metadata:metadata_kind ->
?api_items:api_storage list ->
?api_verif:api_verif list ->
?decls:decl_node list ->
?functions:function__ list ->
?storage:storage ->
?specification:specification ->
?security:security ->
?extra:extra ->
?loc:Location.t ->
lident ->
model
val tunit : type_
val tbool : type_
val tnat : type_
val tint : type_
val tstring : type_
val tbytes : type_
val ttez : type_
val tduration : type_
val tkey : type_
val tkeyhash : type_
val tdate : type_
val ttimestamp : type_
val taddress : type_
val tstate : type_
val tstorage : type_
val trat : type_
val toperation : type_
val tsignature : type_
val tsapling_state : int -> type_
val tsapling_transaction : int -> type_
val tchainid : type_
val tbls12_381_fr : type_
val tbls12_381_g1 : type_
val tbls12_381_g2 : type_
val tnever : type_
val tchest : type_
val tchest_key : type_
val toperations : type_
val tmetadata : type_
val mk_bool : bool -> mterm
val mk_string : string -> mterm
val mk_bytes : string -> mterm
val mk_chain_id : string -> mterm
val mk_key : string -> mterm
val mk_key_hash : string -> mterm
val mk_signature : string -> mterm
val mk_bls12_381_fr : string -> mterm
val mk_bls12_381_fr_n : Core.big_int -> mterm
val mk_bls12_381_g1 : string -> mterm
val mk_bls12_381_g2 : string -> mterm
val mk_bnat : Core.big_int -> mterm
val mk_nat : int -> mterm
val mk_bint : Core.big_int -> mterm
val mk_int : int -> mterm
val mk_address : string -> mterm
val unit : mterm
val mk_sapling_state_empty : int -> mterm
val mk_sapling_transaction : int -> string -> mterm
val mk_chest : string -> mterm
val mk_chest_key : string -> mterm
val mk_duration : Core.duration -> mterm
val mtrue : mterm
val mfalse : mterm
val mnow : mterm
val mtransferred : mterm
val mcaller : mterm
val mbalance : mterm
val msource : mterm
val mselfaddress : mterm
val mselfchainid : mterm
val mmetadata : mterm
val mlevel : mterm
val mk_state_var : 'a -> mterm
val mk_enum_value :
?args:mterm_gen list ->
mident ->
Ident.ident Location.loced ->
mterm
val mk_btez : Core.big_int -> mterm
val mk_tez : int -> mterm
val mk_brat : Core.big_int -> Core.big_int -> mterm
val mk_rat : int -> int -> mterm
val fail : string -> mterm
val skip : mterm
val operations : mterm
val cmp_ident : Ident.ident -> Ident.ident -> bool
val cmp_big_int : Core.big_int -> Core.big_int -> bool
val cmp_assign_op : assignment_operator -> assignment_operator -> bool
val cmp_comparison_operator :
comparison_operator ->
comparison_operator ->
bool
val cmp_rat_arith_op : rat_arith_op -> rat_arith_op -> bool
val cmp_entry_description : entry_description -> entry_description -> bool
val cmp_security_entry : security_entry -> security_entry -> bool
val cmp_pattern_node :
(mident -> mident -> bool) ->
pattern_node ->
pattern_node ->
bool
val cmp_mterm_node :
(mterm -> mterm -> bool) ->
(mident -> mident -> bool) ->
mterm mterm_node ->
mterm mterm_node ->
bool
val cmp_container_kind : api_container_kind -> api_container_kind -> bool
val cmp_api_item_node : api_storage_node -> api_storage_node -> bool
val cmp_api_storage : api_storage -> api_storage -> bool
val map_assign_kind :
(Ident.ident -> Ident.ident) ->
(mident -> mident) ->
('a -> 'b) ->
'c assign_kind_gen ->
'd assign_kind_gen
val map_var_kind : ('a -> 'b) -> 'c var_kind_gen -> 'd var_kind_gen
val map_temp : (Ident.ident -> Ident.ident) -> temp -> temp
val map_container_kind :
(Ident.ident -> Ident.ident) ->
('a -> 'b) ->
'c container_kind_gen ->
'd container_kind_gen
val map_iter_container_kind :
(Ident.ident -> Ident.ident) ->
('a -> 'b) ->
'c iter_container_kind_gen ->
'd iter_container_kind_gen
val map_transfer_kind :
(Ident.ident -> Ident.ident) ->
(type_ -> type_) ->
('a -> 'b) ->
'c transfer_kind_gen ->
'd transfer_kind_gen
val map_term_node_internal :
(Ident.ident -> Ident.ident) ->
(mident -> mident) ->
(type_ -> type_) ->
(mterm -> mterm) ->
mterm mterm_node ->
mterm mterm_node
val map_mterm :
(mterm -> mterm) ->
?fi:(Ident.ident -> Ident.ident) ->
?g:(mident -> mident) ->
?ft:(type_ -> type_) ->
mterm ->
mterm
type 't ctx_model_gen = {
formula : bool;
fs : function_struct option;
label : mident option;
spec_id : mident option;
invariant_id : mident option;
custom : 't;
}
type ctx_model = unit ctx_model_gen
val mk_ctx_model :
?formula:bool ->
?fs:function_struct ->
?label:mident ->
?spec_id:mident ->
?invariant_id:mident ->
't ->
't0 ctx_model_gen
val map_mterm_model_exec :
't ->
('t0 ctx_model_gen -> mterm -> mterm) ->
model ->
model
val map_specification :
't ctx_model_gen ->
('t0 ctx_model_gen -> mterm -> mterm) ->
specification ->
specification
val map_mterm_model_formula :
't ->
('t0 ctx_model_gen -> mterm -> mterm) ->
model ->
model
val map_mterm_model_gen :
't ->
('t0 ctx_model_gen -> mterm -> mterm) ->
model ->
model
val map_mterm_model : (unit ctx_model_gen -> mterm -> mterm) -> model -> model
val fold_assign_kind : ('a -> 'b -> 'c) -> 'd -> 'e assign_kind_gen -> 'f
val fold_var_kind : ('a -> 'b -> 'c) -> 'd -> 'e var_kind_gen -> 'f
val fold_container_kind : ('a -> 'b -> 'c) -> 'd -> 'e container_kind_gen -> 'f
val fold_iter_container_kind :
('a -> 'b -> 'c) ->
'd ->
'e iter_container_kind_gen ->
'f
val fold_transfer_kind : ('a -> 'b -> 'a) -> 'c -> 'd transfer_kind_gen -> 'e
val fold_map_assign_kind :
('a -> 'b -> 'c * 'd) ->
'e ->
'f assign_kind_gen ->
'g assign_kind_gen * 'h
val fold_map_var_kind :
('a -> 'b -> 'c * 'd) ->
'e ->
'f var_kind_gen ->
'g var_kind_gen * 'h
val fold_map_container_kind :
('a -> 'b -> 'c * 'd) ->
'e ->
'f container_kind_gen ->
'g container_kind_gen * 'h
val fold_map_iter_container_kind :
('a -> 'b -> 'c * 'd) ->
'e ->
'f iter_container_kind_gen ->
'g iter_container_kind_gen * 'h
val fold_map_transfer_kind :
('a -> 'b -> 'c * 'd) ->
'e ->
'f transfer_kind_gen ->
'g transfer_kind_gen * 'h
val fold_label_term :
't ctx_model_gen ->
('t0 ctx_model_gen -> 'a -> mterm -> 'a) ->
label_term ->
'a0 ->
'a1
val fold_specification :
't ctx_model_gen ->
('t0 ctx_model_gen -> 'a -> mterm -> 'a) ->
specification ->
'a0 ->
'a1
val fold_model :
(unit ctx_model_gen -> 'a -> mterm -> 'a) ->
model ->
'a0 ->
'a1
type kind_ident =
| KIarchetype
| KIparameter
| KIdeclvarname
| KIassetname
| KIassetfield
| KIassetstate
| KIassetinit
| KIrecordname
| KIrecordfield
| KIparamlambda
| KIenumname
| KIenumvalue
| KIcontractname
| KIcontractentry
| KIstoragefield
| KIentry
| KIfunction
| KIgetter
| KIview
| KIargument
| KIlocalvar
| KIlabel
| KIpredicate
| KIdefinition
| KIdefinitionvar
| KIinvariant
| KIpostcondition
| KIpostconditionuse
| KIfaillabel
| KIfailfid
| KIfailarg
| KIsecurityad
| KIsecurityrole
| KIsecurityentry
| KImterm
val map_model :
(kind_ident -> Ident.ident -> Ident.ident) ->
(type_ -> type_) ->
(mterm -> mterm) ->
model ->
model
val replace_ident_model :
(kind_ident -> Ident.ident -> Ident.ident) ->
model ->
model
val pp_effect :
Ppx_deriving_runtime.Format.formatter ->
effect ->
Ppx_deriving_runtime.unit
val show_effect : effect -> Ppx_deriving_runtime.string
module Utils : sig ... end