archetype 1.4.3 · OCaml Package

type lident = Ident.ident Location.loced

val show_lident : lident -> Ppx_deriving_runtime.string

type namespace = lident

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

val show_namespace : namespace -> Ppx_deriving_runtime.string

type longident = namespace * lident

val pp_longident : 
  Ppx_deriving_runtime.Format.formatter ->
  longident ->
  Ppx_deriving_runtime.unit

val show_longident : longident -> Ppx_deriving_runtime.string

val unloc_longident : longident -> Ident.ident * Ident.ident

val cmp_longident : longident -> longident -> bool

val pp_ident : Format.formatter -> string -> unit

val pp_lident : Format.formatter -> string Location.loced -> unit

type container =

| Collection
| Aggregate
| Partition
| AssetContainer
| AssetKey
| AssetValue
| AssetView

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

val show_container : container -> Ppx_deriving_runtime.string

type currency =

| Utz

val pp_currency : 
  Ppx_deriving_runtime.Format.formatter ->
  currency ->
  Ppx_deriving_runtime.unit

val show_currency : currency -> Ppx_deriving_runtime.string

type vtyp =

| VTunit
| VTbool
| VTnat
| VTint
| VTrational
| VTdate
| VTduration
| VTstring
| VTaddress
| VTcurrency
| VTkey
| VTkeyhash
| VTsignature
| VTbytes
| VTchainid
| VTbls12_381_fr
| VTbls12_381_g1
| VTbls12_381_g2
| VTnever
| VTchest
| VTchest_key

val pp_vtyp : 
  Ppx_deriving_runtime.Format.formatter ->
  vtyp ->
  Ppx_deriving_runtime.unit

val show_vtyp : vtyp -> Ppx_deriving_runtime.string

type ptyp =

| Tnamed of int
| Tasset of longident
| Trecord of longident
| Tevent of longident
| Tenum of longident
| Tbuiltin of vtyp
| Tcontainer of type_ * container
| Tset of type_
| Tlist of type_
| Tmap of type_ * type_
| Tbig_map of type_ * type_
| Titerable_big_map of type_ * type_
| Tor of type_ * type_
| Tlambda of type_ * type_
| Ttuple of type_ list
| Toption of type_
| Toperation
| Tcontract of type_
| Tticket of type_
| Tsapling_state of int
| Tsapling_transaction of int

and type_ = ptyp

val pp_ptyp : 
  Ppx_deriving_runtime.Format.formatter ->
  type_ ->
  Ppx_deriving_runtime.unit

val show_ptyp : ptyp -> 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 logical_operator =

| And
| Or
| Xor

val pp_logical_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  logical_operator ->
  Ppx_deriving_runtime.unit

val show_logical_operator : logical_operator -> Ppx_deriving_runtime.string

type comparison_operator =

| Equal
| Nequal
| 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 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 arithmetic_operator =

| Plus
| Minus
| Mult
| DivRat
| DivEuc
| Modulo
| DivMod
| ThreeWayCmp
| ShiftLeft
| ShiftRight

val pp_arithmetic_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  arithmetic_operator ->
  Ppx_deriving_runtime.unit

val show_arithmetic_operator : 
  arithmetic_operator ->
  Ppx_deriving_runtime.string

type unary_arithmetic_operator =

| Uminus

val pp_unary_arithmetic_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  unary_arithmetic_operator ->
  Ppx_deriving_runtime.unit

val show_unary_arithmetic_operator : 
  unary_arithmetic_operator ->
  Ppx_deriving_runtime.string

type operator = [

| `Logical of logical_operator
| `Cmp of comparison_operator
| `Arith of arithmetic_operator
| `Unary of unary_arithmetic_operator
| `Assign of assignment_operator

]

val pp_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  operator ->
  Ppx_deriving_runtime.unit

val show_operator : operator -> Ppx_deriving_runtime.string

type const =

| Cstate
| Cnow
| Ctransferred
| Ccaller
| Cfail
| Cbalance
| Csource
| Cselfaddress
| Cselfchainid
| Coperations
| Cmetadata
| Clevel
| Cadd
| Cput
| Caddupdate
| Cceil
| Cclear
| Cconcat
| Ccontains
| Ccount
| Cfloor
| Cget
| Cgetopt
| Cisnone
| Cissome
| Cinttonat
| Clength
| Cmax
| Cmin
| Cnth
| Cpack
| Cremove
| Cremoveall
| Cremoveif
| Cselect
| Cslice
| Csort
| Csum
| Cunpack
| Cupdate
| Cupdateall
| Cmakeoperation
| Cmakeevent
| Cnattostring
| Cbytestonat
| Cnattobytes
| Cbytestoint
| Cinttobytes
| Cexec
| Capply
| Cinttodate
| CmutezToNat
| Csetdelegate
| Ckeyhashtocontract
| Csubnat
| Csubmutez
| Cgreedyand
| Cgreedyor
| CmakeAsset
| CtoContainer
| CputRemove
| CgetEntrypoint
| CrequireEntrypoint
| CcallView
| CimportCallView
| CselfCallView
| Csimplifyrational
| Cgetnumerator
| Cgetdenominator
| Cglobalconstant
| Cexphorner
| Csadd
| Csremove
| Csupdate
| Cscontains
| Cslength
| Chead
| Ctail
| Cabs
| Cprepend
| Creverse
| Cmput
| Cmremove
| Cmupdate
| Cmget
| Cmgetopt
| Cmcontains
| Cmlength
| Cblake2b
| Csha256
| Csha512
| Csha3
| Ckeccak
| Cchecksignature
| Ckeytokeyhash
| Ccontracttoaddress
| Caddresstocontract
| Ckeytoaddress
| Cisimplicitaddress
| Ctotalvotingpower
| Cvotingpower
| Cminblocktime
| Ccreateticket
| Creadticket
| Csplitticket
| Cjointickets
| Csapling_empty_state
| Csapling_verify_update
| Cpairing_check
| Copen_chest
| Cemit

val pp_const : 
  Ppx_deriving_runtime.Format.formatter ->
  const ->
  Ppx_deriving_runtime.unit

val show_const : const -> Ppx_deriving_runtime.string

type 'node struct_poly = {

node : 'node;
type_ : type_ option;
label : Ident.ident option;
loc : Location.t;

}

val pp_struct_poly : 
  'node. (Ppx_deriving_runtime.Format.formatter ->
           'node ->
           Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'node struct_poly ->
  Ppx_deriving_runtime.unit

val show_struct_poly : 
  'node. (Ppx_deriving_runtime.Format.formatter ->
           'node ->
           Ppx_deriving_runtime.unit) ->
  'node struct_poly ->
  Ppx_deriving_runtime.string

type qualid = qualid_node struct_poly

and qualid_node =

| Qident of lident
| Qdot of qualid * lident

val pp_qualid : 
  Ppx_deriving_runtime.Format.formatter ->
  qualid ->
  Ppx_deriving_runtime.unit

val show_qualid : qualid -> Ppx_deriving_runtime.string

val pp_qualid_node : 
  Ppx_deriving_runtime.Format.formatter ->
  qualid_node ->
  Ppx_deriving_runtime.unit

val show_qualid_node : qualid_node -> Ppx_deriving_runtime.string

type sexpr = sexpr_node struct_poly

and sexpr_node =

| Sref of lident
| Sor of sexpr * sexpr
| Sany

val pp_sexpr : 
  Ppx_deriving_runtime.Format.formatter ->
  sexpr ->
  Ppx_deriving_runtime.unit

val show_sexpr : sexpr -> Ppx_deriving_runtime.string

val pp_sexpr_node : 
  Ppx_deriving_runtime.Format.formatter ->
  sexpr_node ->
  Ppx_deriving_runtime.unit

val show_sexpr_node : sexpr_node -> Ppx_deriving_runtime.string

type bval = bval_node struct_poly

and bval_node =

| BVint of Core.big_int
| BVnat of Core.big_int
| BVbool of bool
| BVrational of Core.big_int * Core.big_int
| BVdate of Core.date
| BVstring of string
| BVcurrency of currency * Core.big_int
| BVaddress of string
| BVduration of Core.duration
| BVbytes of string
| BVunit
| BVbls12_381_num_fr of Core.big_int
| BVbls12_381_byt_fr of string
| BVbls12_381_g1 of string
| BVbls12_381_g2 of string

val pp_bval : 
  Ppx_deriving_runtime.Format.formatter ->
  bval ->
  Ppx_deriving_runtime.unit

val show_bval : bval -> Ppx_deriving_runtime.string

val pp_bval_node : 
  Ppx_deriving_runtime.Format.formatter ->
  bval_node ->
  Ppx_deriving_runtime.unit

val show_bval_node : bval_node -> Ppx_deriving_runtime.string

type pattern = pattern_node struct_poly

and pattern_node =

| Mwild
| Mconst of lident * lident list

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

val show_pattern : pattern -> 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

type call_kind =

| Cid of longident
| Cconst of const

val pp_call_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  call_kind ->
  Ppx_deriving_runtime.unit

val show_call_kind : call_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 pterm = pterm_node struct_poly

and pterm_node =

| Pif of pterm * pterm * pterm
| Pmatchwith of pterm * (pattern * pterm) list
| Pmatchoption of pterm * lident * pterm * pterm
| Pmatchor of pterm * lident * pterm * lident * pterm
| Pmatchlist of pterm * lident * lident * pterm * pterm
| Pfold of pterm * lident * pterm
| Pmap of pterm * lident * pterm
| Pcall of pterm option * call_kind * type_ list * pterm_arg list
| Plogical of logical_operator * pterm * pterm
| Pnot of pterm
| Pmulticomp of pterm * (comparison_operator * pterm) list
| Pcomp of comparison_operator * pterm * pterm
| Parith of arithmetic_operator * pterm * pterm
| Puarith of unary_arithmetic_operator * pterm
| Precord of pterm list
| Precupdate of pterm * (lident * pterm) list
| Pletin of lident * pterm * type_ option * pterm * pterm option
| Pdeclvar of lident * type_ option * pterm * bool
| Pvar of longident
| Parray of pterm list
| Plit of bval
| Pdot of pterm * lident
| Pquestiondot of pterm * lident
| Pconst of const
| Ptuple of pterm list
| Ptupleaccess of pterm * Core.big_int
| Pnone
| Psome of pterm
| Pleft of type_ * pterm
| Pright of type_ * pterm
| Plambda of type_ * lident * type_ * pterm
| Plambda_michelson of type_ * type_ * Michelson.obj_micheline
| Pcast of type_ * type_ * pterm
| Pself of lident
| Pternary of pterm * pterm * pterm
| Pcreatecontract of pterm * pterm * create_contract_type
| Ptz_expr of string
| Pmicheline_expr of type_ * Michelson.obj_micheline * pterm list

and pterm_arg =

| AExpr of pterm
| AFun of lident * type_ * (lident * type_ * pterm) list * pterm
| AEffect of (lident * operator * pterm) list
| ASorting of bool * lident
| AIdent of lident

and create_contract_type =

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

val pp_pterm : 
  Ppx_deriving_runtime.Format.formatter ->
  pterm ->
  Ppx_deriving_runtime.unit

val show_pterm : pterm -> Ppx_deriving_runtime.string

val pp_pterm_node : 
  Ppx_deriving_runtime.Format.formatter ->
  pterm_node ->
  Ppx_deriving_runtime.unit

val show_pterm_node : pterm_node -> Ppx_deriving_runtime.string

val pp_pterm_arg : 
  Ppx_deriving_runtime.Format.formatter ->
  pterm_arg ->
  Ppx_deriving_runtime.unit

val show_pterm_arg : pterm_arg -> 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 instruction = {

node : instruction_node;
label : string option;
loc : Location.t;

}

and transfer_t =

| TTsimple of pterm * pterm
| TTcontract of pterm * pterm * lident * type_ * pterm
| TTentry of pterm * pterm * pterm
| TTgen of pterm * Ident.ident * Ident.ident * type_ * pterm * pterm
| TTself of pterm * lident * (lident * pterm) list
| TToperation of pterm

and detach_kind =

| DK_option of type_ * Ident.ident
| DK_map of type_ * Ident.ident * pterm

and instruction_node =

| Iif of pterm * instruction * instruction
| Ifor of for_ident * pterm * instruction
| Iiter of lident * pterm * pterm * instruction
| Iwhile of pterm * instruction
| Iletin of lident * pterm * instruction
| Ideclvar of lident * pterm * bool
| Ideclvaropt of lident * pterm * pterm option * bool
| Iseq of instruction list
| Imatchwith of pterm * (pattern * instruction) list
| Imatchoption of pterm * lident * instruction * instruction
| Imatchor of pterm * lident * instruction * lident * instruction
| Imatchlist of pterm * lident * lident * instruction * instruction
| Iassign of assignment_operator * type_ * lvalue * pterm * pterm option
| Irequire of bool * pterm * pterm
| Itransfer of transfer_t
| Iemit of longident * pterm
| Icall of pterm option * call_kind * pterm_arg list
| Ireturn of pterm
| Ifail of pterm
| Ifailsome of pterm
| Idetach of lident * detach_kind * type_ * pterm
| Imicheline of Michelson.obj_micheline

and for_ident =

| FIsimple of lident
| FIdouble of lident * lident

and lvalue = [

| `Var of lident
| `Field of longident * pterm * lident
| `Asset of longident * pterm * lident
| `Tuple of pterm * int * int

]

val pp_instruction : 
  Ppx_deriving_runtime.Format.formatter ->
  instruction ->
  Ppx_deriving_runtime.unit

val show_instruction : instruction -> Ppx_deriving_runtime.string

val pp_transfer_t : 
  Ppx_deriving_runtime.Format.formatter ->
  transfer_t ->
  Ppx_deriving_runtime.unit

val show_transfer_t : transfer_t -> 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_instruction_node : 
  Ppx_deriving_runtime.Format.formatter ->
  instruction_node ->
  Ppx_deriving_runtime.unit

val show_instruction_node : instruction_node -> 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_lvalue : 
  Ppx_deriving_runtime.Format.formatter ->
  lvalue ->
  Ppx_deriving_runtime.unit

val show_lvalue : lvalue -> Ppx_deriving_runtime.string

type 'a decl_gen = {

name : 'a;
typ : type_ option;
default : pterm option;
shadow : bool;
loc : Location.t;

}

val pp_decl_gen : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a decl_gen ->
  Ppx_deriving_runtime.unit

val show_decl_gen : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a decl_gen ->
  Ppx_deriving_runtime.string

type label_term = {

label : lident option;
term : pterm;
error : pterm option;
loc : Location.t;

}

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

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

decl : longident decl_gen;
kind : variable_kind;
loc : Location.t;

}

val pp_variable : 
  Ppx_deriving_runtime.Format.formatter ->
  variable ->
  Ppx_deriving_runtime.unit

val show_variable : variable -> Ppx_deriving_runtime.string

type parameter = {

name : lident;
typ : type_;
default : pterm option;
value : pterm 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 entry_description =

| ADAny
| ADOp of string * lident

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

type security_role = lident

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

type security_entry =

| Sany
| Sentry of lident list

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

type view_visibility =

| VVonchain
| VVonoffchain
| VVoffchain

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

| FKfunction
| FKview of view_visibility

val pp_fun_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  fun_kind ->
  Ppx_deriving_runtime.unit

val show_fun_kind : fun_kind -> Ppx_deriving_runtime.string

type returned_fun_type =

| Typed of ptyp
| 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_ = {

name : longident;
kind : fun_kind;
args : lident decl_gen list;
body : instruction;
return : returned_fun_type;
side_effect : bool;
storage_usage : bool;
loc : Location.t;

}

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

val show_function_ : function_ -> Ppx_deriving_runtime.string

type rexpr = rexpr_node struct_poly

and rexpr_node =

| Rany
| Rasset of longident
| Rexpr of pterm
| Ror of rexpr * rexpr

val pp_rexpr : 
  Ppx_deriving_runtime.Format.formatter ->
  rexpr ->
  Ppx_deriving_runtime.unit

val show_rexpr : rexpr -> Ppx_deriving_runtime.string

val pp_rexpr_node : 
  Ppx_deriving_runtime.Format.formatter ->
  rexpr_node ->
  Ppx_deriving_runtime.unit

val show_rexpr_node : rexpr_node -> Ppx_deriving_runtime.string

type transition = {

from : sexpr;
trs : (lident * pterm option * instruction option) list;

}

val pp_transition : 
  Ppx_deriving_runtime.Format.formatter ->
  transition ->
  Ppx_deriving_runtime.unit

val show_transition : transition -> Ppx_deriving_runtime.string

type tr_kind =

| Entry
| Getter of ptyp

val pp_tr_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  tr_kind ->
  Ppx_deriving_runtime.unit

val show_tr_kind : tr_kind -> Ppx_deriving_runtime.string

type transaction = {

kind : tr_kind;
name : lident;
args : lident decl_gen list;
sourcedby : (rexpr * pterm option) option;
calledby : (rexpr * pterm option) option;
state_is : (lident * pterm option) option;
accept_transfer : bool * pterm option;
constants : label_term list option;
require : label_term list option;
failif : label_term list option;
transition : transition option;
functions : function_ list;
effect : instruction option;
loc : Location.t;

}

val pp_transaction : 
  Ppx_deriving_runtime.Format.formatter ->
  transaction ->
  Ppx_deriving_runtime.unit

val show_transaction : transaction -> Ppx_deriving_runtime.string

type enum_item_struct = {

name : lident;
initial : bool;
invariants : label_term list;
args : ptyp list;
loc : Location.t;

}

val pp_enum_item_struct : 
  Ppx_deriving_runtime.Format.formatter ->
  enum_item_struct ->
  Ppx_deriving_runtime.unit

val show_enum_item_struct : enum_item_struct -> Ppx_deriving_runtime.string

type enum_kind =

| EKenum of longident
| EKstate of namespace

val pp_enum_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  enum_kind ->
  Ppx_deriving_runtime.unit

val show_enum_kind : enum_kind -> Ppx_deriving_runtime.string

type enum = {

kind : enum_kind;
items : enum_item_struct list;
loc : Location.t;

}

val pp_enum : 
  Ppx_deriving_runtime.Format.formatter ->
  enum ->
  Ppx_deriving_runtime.unit

val show_enum : enum -> 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 asset = {

name : longident;
fields : lident decl_gen list;
keys : lident list;
sort : lident list;
map_kind : map_kind;
init : pterm list list;
specs : label_term 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

type position =

| Pleaf of lident
| 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 = {

name : longident;
fields : lident decl_gen 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 decl_ =

| Dvariable of variable
| Dasset of asset
| Drecord of record
| Denum of enum
| Devent of record

val pp_decl_ : 
  Ppx_deriving_runtime.Format.formatter ->
  decl_ ->
  Ppx_deriving_runtime.unit

val show_decl_ : decl_ -> Ppx_deriving_runtime.string

type fun_ =

| Ffunction of function_
| Ftransaction of transaction

val pp_fun_ : 
  Ppx_deriving_runtime.Format.formatter ->
  fun_ ->
  Ppx_deriving_runtime.unit

val show_fun_ : fun_ -> 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 import_kind_node =

| INMichelson of michelson_struct
| INArchetype

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

name : lident;
parameters : parameter list;
metadata : metadata_kind option;
decls : decl_ list;
funs : fun_ list;
loc : Location.t;

}

val pp_ast : 
  Ppx_deriving_runtime.Format.formatter ->
  ast ->
  Ppx_deriving_runtime.unit

val show_ast : ast -> Ppx_deriving_runtime.string

val vtaddress : ptyp

val vtbls12_381_fr : ptyp

val vtbls12_381_g1 : ptyp

val vtbls12_381_g2 : ptyp

val vtbool : ptyp

val vtbytes : ptyp

val vtchainid : ptyp

val vtcurrency : ptyp

val vtdate : ptyp

val vtduration : ptyp

val vtint : ptyp

val vtkey : ptyp

val vtkeyhash : ptyp

val vtnat : ptyp

val vtrational : ptyp

val vtsignature : ptyp

val vtstring : ptyp

val vtunit : ptyp

val vtnever : ptyp

val vtchest : ptyp

val vtchest_key : ptyp

val vts : ptyp list

val mk_sp : 
  ?label:Ident.ident ->
  ?loc:Location.t ->
  ?type_:type_ ->
  'a ->
  'a struct_poly

val mk_instr : 
  ?label:string ->
  ?loc:Location.t ->
  instruction_node ->
  instruction

val mk_label_term : 
  ?label:lident ->
  ?error:pterm ->
  ?loc:Location.t ->
  pterm ->
  label_term

val mk_variable : 
  ?loc:Location.t ->
  longident decl_gen ->
  variable_kind ->
  variable

val mk_function_struct : 
  ?args:lident decl_gen list ->
  ?loc:Location.t ->
  longident ->
  fun_kind ->
  instruction ->
  returned_fun_type ->
  bool ->
  bool ->
  function_

val mk_transition : 
  ?trs:(lident * pterm option * instruction option) list ->
  sexpr ->
  transition

val mk_transaction_struct : 
  ?args:lident decl_gen list ->
  ?sourcedby:(rexpr * pterm option) ->
  ?calledby:(rexpr * pterm option) ->
  ?state_is:(lident * pterm option) ->
  ?accept_transfer:(bool * pterm option) ->
  ?constants:label_term list ->
  ?require:label_term list ->
  ?failif:label_term list ->
  ?transition:transition ->
  ?functions:function_ list ->
  ?effect:instruction ->
  ?loc:Location.t ->
  tr_kind ->
  lident ->
  transaction

val mk_enum_item : 
  ?initial:bool ->
  ?args:ptyp list ->
  ?invariants:label_term list ->
  ?loc:Location.t ->
  lident ->
  enum_item_struct

val mk_enum : 
  ?items:enum_item_struct list ->
  ?loc:Location.t ->
  enum_kind ->
  enum

val mk_decl : 
  ?typ:type_ ->
  ?default:pterm ->
  ?shadow:bool ->
  ?loc:Location.t ->
  'a ->
  'a decl_gen

val mk_asset : 
  ?fields:lident decl_gen list ->
  ?keys:lident list ->
  ?sort:lident list ->
  ?map_kind:map_kind ->
  ?init:pterm list list ->
  ?specs:label_term list ->
  ?loc:Location.t ->
  longident ->
  asset

val mk_model : 
  ?parameters:parameter list ->
  ?metadata:metadata_kind ->
  ?decls:decl_ list ->
  ?funs:fun_ list ->
  ?loc:Location.t ->
  lident ->
  ast

val mk_id : type_ -> lident -> qualid

val map_ptyp : (type_ -> type_) -> ptyp -> ptyp

val vunit : bval_node struct_poly

module Utils : sig ... end

package archetype