archetype 1.5.1 · OCaml Package

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 namespace = lident option

val pp_namespace : 
  Ppx_deriving_runtime.Format.formatter ->
  namespace ->
  Ppx_deriving_runtime.unit

val show_namespace : namespace -> Ppx_deriving_runtime.string

type path = namespace * lident

val pp_path : 
  Ppx_deriving_runtime.Format.formatter ->
  path ->
  Ppx_deriving_runtime.unit

val show_path : path -> Ppx_deriving_runtime.string

type mident = path

val pp_mident : 
  Ppx_deriving_runtime.Format.formatter ->
  mident ->
  Ppx_deriving_runtime.unit

val show_mident : mident -> Ppx_deriving_runtime.string

type container =

| Collection
| Aggregate
| Partition
| AssetContainer
| AssetKey
| AssetValue
| View

val pp_container : 
  Ppx_deriving_runtime.Format.formatter ->
  container ->
  Ppx_deriving_runtime.unit

val show_container : container -> Ppx_deriving_runtime.string

type btyp =

| Bunit
| Bbool
| Bint
| Brational
| Bdate
| Bduration
| Btimestamp
| Bstring
| Baddress
| Btez
| Bsignature
| Bkey
| Bkeyhash
| Bbytes
| Bnat
| Bchainid
| Bbls12_381_fr
| Bbls12_381_g1
| Bbls12_381_g2
| Bnever
| Bchest
| Bchest_key

val pp_btyp : 
  Ppx_deriving_runtime.Format.formatter ->
  btyp ->
  Ppx_deriving_runtime.unit

val show_btyp : btyp -> Ppx_deriving_runtime.string

type ntype =

| Tasset of mident
| Tenum of mident
| 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 mident
| Tevent of mident
| Tlambda of type_ * type_
| Tunit
| Toperation
| Tcontract of type_
| Tticket of type_
| Tsapling_state of int
| Tsapling_transaction of int

and type_ = ntype * lident option

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

type pattern_node =

| Pwild
| Pconst of mident * lident list

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

type pattern = {

node : pattern_node;
loc : Location.t;

}

val pp_pattern : 
  Ppx_deriving_runtime.Format.formatter ->
  pattern ->
  Ppx_deriving_runtime.unit

val show_pattern : pattern -> Ppx_deriving_runtime.string

type for_ident =

| FIsimple of mident
| FIdouble of mident * mident

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

type comparison_operator =

| Gt
| Ge
| Lt
| Le

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

type rat_arith_op =

| Rplus
| Rminus
| Rmult
| Rdiv

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

type assignment_operator =

| ValueAssign
| PlusAssign
| MinusAssign
| MultAssign
| DivAssign
| AndAssign
| OrAssign

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

type sort_kind =

| SKasc
| SKdesc

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

type 'term assign_kind_gen =

| Avar of mident
| Avarstore of mident
| Aasset of mident * mident * 'term
| Arecord of 'term * mident * mident
| Atuple of 'term * int * int
| Astate
| Aoperations

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

type 'term var_kind_gen =

| Vassetstate of 'term
| Vstorevar
| Vstorecol
| Vlocal
| Vparam
| Vfield
| Vstate
| Vthe
| Vparameter

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

type 'term container_kind_gen =

| CKcoll
| CKview of 'term
| CKfield of Ident.ident * Ident.ident * 'term

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

type map_kind =

| MKMap
| MKBigMap
| MKIterableBigMap

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

type michelson_struct = {

ms_content : Michelson.obj_micheline;

}

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 detach_kind_gen =

| DK_option of type_ * Ident.ident
| DK_map of type_ * Ident.ident * 'term

val pp_detach_kind_gen : 
  'term. (Ppx_deriving_runtime.Format.formatter ->
           'term ->
           Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'term detach_kind_gen ->
  Ppx_deriving_runtime.unit

val show_detach_kind_gen : 
  'term. (Ppx_deriving_runtime.Format.formatter ->
           'term ->
           Ppx_deriving_runtime.unit) ->
  'term detach_kind_gen ->
  Ppx_deriving_runtime.string

type 'term letin_value_gen =

| LVsimple of 'term
| LVreplace of mident * 'term detach_kind_gen * 'term

val pp_letin_value_gen : 
  'term. (Ppx_deriving_runtime.Format.formatter ->
           'term ->
           Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'term letin_value_gen ->
  Ppx_deriving_runtime.unit

val show_letin_value_gen : 
  'term. (Ppx_deriving_runtime.Format.formatter ->
           'term ->
           Ppx_deriving_runtime.unit) ->
  'term letin_value_gen ->
  Ppx_deriving_runtime.string

type 'term mterm_node =

| Mletin of mident list * 'term letin_value_gen * 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
| Minstrmatchdetach of 'term detach_kind_gen * mident * 'term * 'term
| Mfor of for_ident * 'term iter_container_kind_gen * 'term
| Miter of mident * 'term * 'term * 'term * bool
| Mwhile of 'term * 'term
| Mseq of 'term list
| Mreturn of 'term
| Mfail of fail_type
| Mfailexpr of 'term
| Mfailsome of 'term
| Mtransfer of 'term transfer_kind_gen
| Memit of mident * 'term
| Msandboxexec of 'term * 'term * 'term
| Mdetach of mident * 'term detach_kind_gen * type_ * 'term
| Mmicheline of Michelson.obj_micheline
| Mgetentrypoint of type_ * mident * 'term
| Mcallview of type_ * 'term * mident * 'term
| Mimportcallview of type_ * 'term * mident * 'term
| Mself of mident
| Mselfcallview of type_ * lident * 'term list
| Moperations
| Mmakeoperation of 'term * 'term * 'term
| Mmakeevent of type_ * mident * 'term
| Mmakesandboxexecoperation of 'term * 'term * 'term
| Mcreatecontract of create_contract_type * '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
| Mmutez of Core.big_int
| 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
| Mtz_expr 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
| Mlambda_michelson of type_ * type_ * Michelson.obj_micheline
| Mmicheline_expr of type_ * Michelson.obj_micheline * 'term list
| 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
| Mglobal_constant of type_ * 'term
| 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
| Mlisthead of type_ * 'term * 'term
| Mlisttail 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
| Mbytestonat of 'term
| Mnattobytes of 'term
| Mbytestoint of 'term
| Minttobytes 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
| Msimplify_rational of 'term
| Mget_numerator of 'term
| Mget_denominator of 'term
| Misimplicitaddress of 'term
| Mexp_horner of 'term * '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
| Mminblocktime
| Mvar of mident * 'term var_kind_gen
| Menumval of mident * 'term list * mident
| 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

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_gen = {

node : mterm_gen mterm_node;
type_ : type_;
loc : Location.t;

}

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_container_kind =

| Coll
| View
| Field of Ident.ident * Ident.ident

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_list =

| Lprepend of type_
| Lcontains of type_
| Llength of type_
| Lnth of type_
| Lreverse of type_

and api_builtin =

| Bmin of type_
| Bmax of type_
| Babs of type_
| Bconcat of type_
| Bslice of type_
| Blength of type_
| Bisnone of type_
| Bissome of type_
| Boptget of type_
| Bfloor
| Bceil
| Bfail of type_

and api_internal =

| RatEq
| RatCmp
| RatArith
| RatUminus
| RatTez
| RatDur

and api_storage_node =

| APIAsset of api_asset
| APIList of api_list
| APIBuiltin of api_builtin
| APIInternal of api_internal

and api_storage = {

node_item : api_storage_node;

}

and letin_value = mterm letin_value_gen

and detach_kind = mterm detach_kind_gen

and create_contract_type =

| CCTz of michelson_struct * mterm
| CCArl of Ident.ident * (Ident.ident * mterm) list

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_gen -> 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_storage : 
  Ppx_deriving_runtime.Format.formatter ->
  api_storage ->
  Ppx_deriving_runtime.unit

val show_api_storage : api_storage -> Ppx_deriving_runtime.string

val pp_letin_value : 
  Ppx_deriving_runtime.Format.formatter ->
  letin_value ->
  Ppx_deriving_runtime.unit

val show_letin_value : letin_value -> Ppx_deriving_runtime.string

val pp_detach_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  detach_kind ->
  Ppx_deriving_runtime.unit

val show_detach_kind : detach_kind -> Ppx_deriving_runtime.string

val pp_create_contract_type : 
  Ppx_deriving_runtime.Format.formatter ->
  create_contract_type ->
  Ppx_deriving_runtime.unit

val show_create_contract_type : 
  create_contract_type ->
  Ppx_deriving_runtime.string

type model_type =

| MTvar
| MTconst
| MTasset of mident
| MTstate
| MTenum of Ident.ident

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;
namespace : Ident.ident option;
no_storage : bool;
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

type enum_item = {

name : mident;
args : type_ list;

}

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

type variable_kind =

| VKconstant
| VKvariable

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;
loc : Location.t;

}

val pp_var : 
  Ppx_deriving_runtime.Format.formatter ->
  var ->
  Ppx_deriving_runtime.unit

val show_var : var -> Ppx_deriving_runtime.string

type enum = {

name : mident;
values : enum_item list;
initial : mident;

}

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 init_asset =

| IAliteral of mterm list
| IAident of lident

val pp_init_asset : 
  Ppx_deriving_runtime.Format.formatter ->
  init_asset ->
  Ppx_deriving_runtime.unit

val show_init_asset : init_asset -> 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;
init : init_asset;
no_storage : bool;
loc : Location.t;

}

val pp_asset : 
  Ppx_deriving_runtime.Format.formatter ->
  asset ->
  Ppx_deriving_runtime.unit

val show_asset : asset -> Ppx_deriving_runtime.string

type position =

| Ptuple of Ident.ident list
| Pnode of position list

val pp_position : 
  Ppx_deriving_runtime.Format.formatter ->
  position ->
  Ppx_deriving_runtime.unit

val show_position : position -> Ppx_deriving_runtime.string

type record_field = {

name : mident;
type_ : type_;
loc : Location.t;

}

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

type record = {

name : mident;
fields : record_field list;
pos : position;
loc : Location.t;

}

val pp_record : 
  Ppx_deriving_runtime.Format.formatter ->
  record ->
  Ppx_deriving_runtime.unit

val show_record : record -> Ppx_deriving_runtime.string

type function_ = {

name : mident;

}

val pp_function_ : 
  Ppx_deriving_runtime.Format.formatter ->
  function_ ->
  Ppx_deriving_runtime.unit

val show_function_ : function_ -> Ppx_deriving_runtime.string

type entry = {

name : mident;

}

val pp_entry : 
  Ppx_deriving_runtime.Format.formatter ->
  entry ->
  Ppx_deriving_runtime.unit

val show_entry : entry -> Ppx_deriving_runtime.string

type argument = mident * type_ * mterm option

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;
side_effect : bool;
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

type view_visibility =

| VVonchain
| VVoffchain
| VVonoffchain

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 returned_fun_type =

| Typed of type_
| Void

val pp_returned_fun_type : 
  Ppx_deriving_runtime.Format.formatter ->
  returned_fun_type ->
  Ppx_deriving_runtime.unit

val show_returned_fun_type : returned_fun_type -> Ppx_deriving_runtime.string

type function_node =

| Function of function_struct * returned_fun_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

type signature = {

name : mident;
args : argument list;
ret : type_ option;

}

val pp_signature : 
  Ppx_deriving_runtime.Format.formatter ->
  signature ->
  Ppx_deriving_runtime.unit

val show_signature : signature -> Ppx_deriving_runtime.string

type decl_node =

| Dvar of var
| Denum of enum
| Dasset of asset
| Drecord of record
| Devent of record

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

type metadata_kind =

| MKuri of string Location.loced
| MKjson of string Location.loced

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

type odel_asset = {

name : mident;
container_type : type_;
key_type : type_;
value_type : type_;

}

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

type odel_record = {

name : mident;
current_type : type_;

}

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

type odel_enum = {

name : mident;
current_type : type_;

}

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

type original_decl =

| ODAsset of odel_asset
| ODRecord of odel_record
| ODEnum of odel_enum

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

type extra = {

original_decls : original_decl list;

}

val pp_extra : 
  Ppx_deriving_runtime.Format.formatter ->
  extra ->
  Ppx_deriving_runtime.unit

val show_extra : extra -> Ppx_deriving_runtime.string

type model = {

name : lident;
parameters : parameter list;
metadata : metadata_kind option;
api_items : api_storage list;
decls : decl_node list;
storage : storage;
functions : function_node list;
extra : extra;
cc_models : model list;
loc : Location.t;

}

val pp_model : 
  Ppx_deriving_runtime.Format.formatter ->
  model ->
  Ppx_deriving_runtime.unit

val show_model : model -> Ppx_deriving_runtime.string

val mk_mident : ?namespace:lident -> lident -> mident

val unloc_mident : mident -> Ident.ident

val loc_mident : mident -> Location.t

val deloc_mident : mident -> Location.t * Ident.ident

val mk_pattern : ?loc:Location.t -> pattern_node -> pattern

val mk_mterm : ?loc:Location.t -> mterm_gen mterm_node -> type_ -> mterm

val mk_var : 
  ?default:mterm ->
  ?loc:Location.t ->
  mident ->
  type_ ->
  type_ ->
  variable_kind ->
  var

val mk_enum : ?values:enum_item list -> mident -> mident -> enum

val mk_enum_item : ?args:type_ list -> mident -> enum_item

val mk_asset : 
  ?values:asset_item list ->
  ?sort:mident list ->
  ?map_kind:map_kind ->
  ?state:lident ->
  ?keys:Ident.ident list ->
  ?init:init_asset ->
  ?loc:Location.t ->
  ?no_storage:bool ->
  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 ->
  ?namespace:Ident.ident ->
  ?no_storage: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 ->
  ?side_effect:bool ->
  ?loc:Location.t ->
  mident ->
  mterm ->
  function_struct

val mk_api_item : api_storage_node -> api_storage

val mk_odel_asset : mident -> type_ -> type_ -> type_ -> odel_asset

val mk_odel_record : mident -> type_ -> odel_record

val mk_odel_enum : mident -> type_ -> odel_enum

val mk_extra : ?original_decls:original_decl list -> unit -> extra

val mk_model : 
  ?parameters:parameter list ->
  ?metadata:metadata_kind ->
  ?api_items:api_storage list ->
  ?decls:decl_node list ->
  ?functions:function_node list ->
  ?storage:storage ->
  ?extra:extra ->
  ?cc_models:model list ->
  ?loc:Location.t ->
  lident ->
  model

val gen_mident : string -> mident -> Ident.ident

val normalize_mident : mident -> Ident.ident

val printable_mident : mident -> Ident.ident

val string_to_mident : ?nm:string option -> Ident.ident -> mident

val mktype : ?annot:lident -> ntype -> type_

val get_ntype : (ntype * 'a) -> ntype

val get_atype : ('a * lident option) -> lident option

val mkannot : string -> lident -> lident option

val mkfannot : lident -> lident option

val mkvannot : lident -> lident option

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 tenum : mident -> type_

val tstate : type_

val trecord : mident -> type_

val tevent : mident -> type_

val toption : type_ -> type_

val tset : type_ -> type_

val tlist : type_ -> type_

val tmap : type_ -> type_ -> type_

val tbig_map : type_ -> type_ -> type_

val titerable_big_map : type_ -> type_ -> type_

val tor : type_ -> type_ -> type_

val tlambda : type_ -> type_ -> type_

val ttuple : type_ list -> type_

val trat : type_

val toperation : type_

val tsignature : type_

val tcontract : type_ -> type_

val tticket : type_ -> type_

val tsapling_state : int -> type_

val tsapling_transaction : int -> type_

val trational : 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 tasset : mident -> type_

val tcollection : mident -> type_

val taggregate : mident -> type_

val tpartition : mident -> type_

val tassetcontainer : mident -> type_

val tassetkey : mident -> type_

val tassetvalue : mident -> type_

val tview : mident -> 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_brational : Core.big_int -> Core.big_int -> mterm

val mk_rational : 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_tz_expr : string -> mterm

val mk_date : Core.date -> mterm

val mk_duration : Core.duration -> mterm

val mk_pair : mterm list -> 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 mminblocktime : mterm

val mk_mvar : mident -> type_ -> mterm

val mk_pvar : mident -> type_ -> mterm

val mk_svar : mident -> type_ -> mterm

val mk_state_var : 'a -> mterm

val mk_enum_value : ?args:mterm_gen list -> mident -> mident -> mterm

val mk_state_value : mident -> mterm

val mk_btez : Core.big_int -> mterm

val mk_tez : int -> mterm

val mk_tuple : ?loc:Location.t -> mterm list -> mterm

val mk_letin : ?loc:Location.t -> mident -> mterm_gen -> mterm_gen -> mterm

val mk_declvar : mident -> type_ -> mterm_gen -> mterm

val mk_iter : mident -> mterm_gen -> mterm_gen -> mterm_gen -> bool -> mterm

val mk_return : mterm_gen -> mterm

val mk_tupleaccess : int -> mterm -> mterm

val mk_min : mterm -> mterm -> type_ -> mterm

val mk_max : mterm -> mterm -> type_ -> mterm

val mk_abs : mterm -> mterm

val mk_nat_to_int : mterm -> mterm

val mk_int_to_rat : mterm -> mterm

val mk_nat_to_rat : mterm -> mterm

val mk_some : mterm_gen -> mterm

val mk_left : type_ -> mterm_gen -> mterm

val mk_right : type_ -> mterm_gen -> mterm

val mk_none : type_ -> mterm

val mk_pack : mterm_gen -> mterm

val mk_unpack : type_ -> mterm_gen -> mterm

val mk_blake2b : mterm_gen -> mterm

val mk_sha256 : mterm_gen -> mterm

val mk_sha512 : mterm_gen -> mterm

val mk_keytokeyhash : mterm_gen -> mterm

val mk_checksignature : mterm_gen -> mterm_gen -> mterm_gen -> mterm

val mk_brat : Core.big_int -> Core.big_int -> mterm

val mk_rat : int -> int -> mterm

val mk_muteztonat : mterm_gen -> mterm

val mk_nattoint : mterm_gen -> mterm

val mk_metadata : (mterm_gen * mterm_gen) list -> mterm

val fail : string -> mterm

val failg : mterm -> mterm

val failc : fail_type -> mterm

val faile : mterm_gen -> type_ -> mterm

val mnot : mterm_gen -> mterm

val seq : mterm_gen list -> mterm

val skip : mterm

val operations : mterm

val mk_get_entrypoint : type_ -> lident -> mterm -> mterm

val mk_mkoperation : mterm_gen -> mterm_gen -> mterm_gen -> mterm

val mk_mkevent : type_ -> mident -> mterm_gen -> mterm

val mk_transfer_op : mterm_gen -> mterm

val fail_msg_ASSET_NOT_FOUND : string

val fail_msg_DIV_BY_ZERO : string

val fail_msg_INVALID_CALLER : string

val fail_msg_INVALID_CONDITION : string

val fail_msg_INVALID_SOURCE : string

val fail_msg_INVALID_STATE : string

val fail_msg_KEY_EXISTS : string

val fail_msg_KEY_EXISTS_OR_NOT_FOUND : string

val fail_msg_NAT_NEG_ASSIGN : string

val fail_msg_NO_TRANSFER : string

val fail_msg_NOT_FOUND : string

val fail_msg_OPTION_IS_NONE : string

val fail_msg_OUT_OF_BOUND : string

val fail_msg_ENTRY_NOT_FOUND : string

val fail_msg_EMPTY_LIST : string

val fail_msg_NOT_IMPLICIT_CONTRACT : string

val fail_msg_KEY_NOT_FOUND : string

val fail_msg_INVALID_EVENT_CONTRACT : string

val cmp_ident : Ident.ident -> Ident.ident -> bool

val cmp_big_int : Core.big_int -> Core.big_int -> bool

val cmp_int : int -> int -> bool

val cmp_lident : lident -> lident -> bool

val cmp_namespace : namespace -> namespace -> bool

val cmp_path : path -> path -> bool

val cmp_mident : mident -> mident -> bool

val cmp_bool : bool -> bool -> bool

val cmp_assign_op : assignment_operator -> assignment_operator -> bool

val cmp_container : container -> container -> bool

val cmp_btyp : btyp -> btyp -> bool

val cmp_comparison_operator : 
  comparison_operator ->
  comparison_operator ->
  bool

val cmp_rat_arith_op : rat_arith_op -> rat_arith_op -> bool

val cmp_fail_type : (mterm -> mterm -> bool) -> fail_type -> fail_type -> bool

val cmp_ntype : ntype -> ntype -> bool

val cmp_type : ?with_annot:bool -> type_ -> type_ -> bool

val cmp_pattern_node : pattern_node -> pattern_node -> bool

val cmp_pattern : pattern -> pattern -> bool

val cmp_for_ident : 
  (mident -> mident -> bool) ->
  for_ident ->
  for_ident ->
  bool

val cmp_mterm_node : 
  (mterm -> mterm -> bool) ->
  (mident -> mident -> bool) ->
  mterm mterm_node ->
  mterm mterm_node ->
  bool

val cmp_mterm : mterm -> mterm -> 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_ptyp : (type_ -> type_) -> ntype -> ntype

val map_type : (type_ -> type_) -> type_ -> type_

val fold_typ : ('a -> type_ -> 'a) -> 'a -> type_ -> 'a

val map_for_ident : (mident -> mident) -> for_ident -> for_ident

val map_assign_kind : 
  (mident -> mident) ->
  ('a -> 'b) ->
  'a assign_kind_gen ->
  'b assign_kind_gen

val map_var_kind : ('a -> 'b) -> 'a var_kind_gen -> 'b var_kind_gen

val map_container_kind : 
  (Ident.ident -> Ident.ident) ->
  ('a -> 'b) ->
  'a container_kind_gen ->
  'b container_kind_gen

val map_iter_container_kind : 
  (Ident.ident -> Ident.ident) ->
  ('a -> 'b) ->
  'a iter_container_kind_gen ->
  'b iter_container_kind_gen

val map_transfer_kind : 
  (Ident.ident -> Ident.ident) ->
  (type_ -> type_) ->
  ('a -> 'b) ->
  'a transfer_kind_gen ->
  'b transfer_kind_gen

val map_detach_kind : 
  (Ident.ident -> Ident.ident) ->
  (type_ -> type_) ->
  ('a -> 'b) ->
  'a detach_kind_gen ->
  'b detach_kind_gen

val map_create_contract_type : 
  (mterm -> mterm) ->
  (Ident.ident -> Ident.ident) ->
  create_contract_type ->
  create_contract_type

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;
fun_node : function_node option;
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 ->
  ?fun_node:function_node ->
  ?fs:function_struct ->
  ?label:mident ->
  ?spec_id:mident ->
  ?invariant_id:mident ->
  't ->
  't ctx_model_gen

val map_mterm_model_gen : 
  't ->
  ('t 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 -> 'a) -> 'a -> 'b assign_kind_gen -> 'a

val fold_var_kind : ('a -> 'b -> 'a) -> 'a -> 'b var_kind_gen -> 'a

val fold_container_kind : ('a -> 'b -> 'a) -> 'a -> 'b container_kind_gen -> 'a

val fold_iter_container_kind : 
  ('a -> 'b -> 'a) ->
  'a ->
  'b iter_container_kind_gen ->
  'a

val fold_transfer_kind : ('a -> 'b -> 'a) -> 'a -> 'b transfer_kind_gen -> 'a

val fold_detach_kind : ('a -> 'b -> 'a) -> 'a -> 'b detach_kind_gen -> 'a

val fold_term : ('a -> mterm -> 'a) -> 'a -> mterm -> 'a

val fold_map_term_list : 
  ('a -> 'b -> 'term * 'a) ->
  'a ->
  'b list ->
  'term list * 'a

val fold_map_assign_kind : 
  ('a -> 'b -> 'c * 'a) ->
  'a ->
  'b assign_kind_gen ->
  'c assign_kind_gen * 'a

val fold_map_var_kind : 
  ('a -> 'b -> 'c * 'a) ->
  'a ->
  'b var_kind_gen ->
  'c var_kind_gen * 'a

val fold_map_container_kind : 
  ('a -> 'b -> 'c * 'a) ->
  'a ->
  'b container_kind_gen ->
  'c container_kind_gen * 'a

val fold_map_iter_container_kind : 
  ('a -> 'b -> 'c * 'a) ->
  'a ->
  'b iter_container_kind_gen ->
  'c iter_container_kind_gen * 'a

val fold_map_transfer_kind : 
  ('a -> 'b -> 'c * 'a) ->
  'a ->
  'b transfer_kind_gen ->
  'c transfer_kind_gen * 'a

val fold_map_detach_kind : 
  ('a -> 'b -> 'c * 'a) ->
  'a ->
  'b detach_kind_gen ->
  'c detach_kind_gen * 'a

val fold_map_term : 
  (mterm mterm_node -> mterm) ->
  ('a -> mterm -> mterm * 'a) ->
  'a ->
  mterm ->
  mterm * 'a

val fold_left : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b

val fold_model : (unit ctx_model_gen -> 'a -> mterm -> 'a) -> model -> 'a -> 'a

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 merge_seq : mterm -> mterm -> mterm

val extract_list : mterm -> mterm -> mterm list

type effect =

| Eadded of Ident.ident
| Eremoved of Ident.ident
| Eupdated of Ident.ident

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

package archetype