archetype 1.5.2 · OCaml Package

type lident = Ident.ident Location.loced

and id_scope =

| SINone
| SIParent
| SIId of lident

and container =

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

and type_r =

| Tref of id_scope * lident
| Tcontainer of type_t * container
| Ttuple of type_t list
| Toption of type_t
| Tset of type_t
| Tlist of type_t
| Tmap of type_t * type_t
| Tbig_map of type_t * type_t
| Titerable_big_map of type_t * type_t
| Tor of type_t * type_t
| Tlambda of type_t * type_t
| Tcontract of type_t
| Tticket of type_t
| Tsapling_state of Core.big_int
| Tsapling_transaction of Core.big_int

and type_t = type_r Location.loced * lident option

and logical_operator =

| And
| Or
| Xor

and comparison_operator =

| Equal
| Nequal
| Gt
| Ge
| Lt
| Le

and arithmetic_operator =

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

and unary_operator =

| Uminus
| Not

and assignment_operator =

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

and operator =

| Logical of logical_operator
| Cmp of comparison_operator
| Arith of arithmetic_operator
| Unary of unary_operator

val lident_to_yojson : lident -> Yojson.Safe.t

val lident_of_yojson : 
  Yojson.Safe.t ->
  lident Ppx_deriving_yojson_runtime.error_or

val id_scope_to_yojson : id_scope -> Yojson.Safe.t

val id_scope_of_yojson : 
  Yojson.Safe.t ->
  id_scope Ppx_deriving_yojson_runtime.error_or

val container_to_yojson : container -> Yojson.Safe.t

val container_of_yojson : 
  Yojson.Safe.t ->
  container Ppx_deriving_yojson_runtime.error_or

val type_r_to_yojson : type_r -> Yojson.Safe.t

val type_r_of_yojson : 
  Yojson.Safe.t ->
  type_r Ppx_deriving_yojson_runtime.error_or

val type_t_to_yojson : type_t -> Yojson.Safe.t

val type_t_of_yojson : 
  Yojson.Safe.t ->
  type_t Ppx_deriving_yojson_runtime.error_or

val logical_operator_to_yojson : logical_operator -> Yojson.Safe.t

val logical_operator_of_yojson : 
  Yojson.Safe.t ->
  logical_operator Ppx_deriving_yojson_runtime.error_or

val comparison_operator_to_yojson : comparison_operator -> Yojson.Safe.t

val comparison_operator_of_yojson : 
  Yojson.Safe.t ->
  comparison_operator Ppx_deriving_yojson_runtime.error_or

val arithmetic_operator_to_yojson : arithmetic_operator -> Yojson.Safe.t

val arithmetic_operator_of_yojson : 
  Yojson.Safe.t ->
  arithmetic_operator Ppx_deriving_yojson_runtime.error_or

val unary_operator_to_yojson : unary_operator -> Yojson.Safe.t

val unary_operator_of_yojson : 
  Yojson.Safe.t ->
  unary_operator Ppx_deriving_yojson_runtime.error_or

val assignment_operator_to_yojson : assignment_operator -> Yojson.Safe.t

val assignment_operator_of_yojson : 
  Yojson.Safe.t ->
  assignment_operator Ppx_deriving_yojson_runtime.error_or

val operator_to_yojson : operator -> Yojson.Safe.t

val operator_of_yojson : 
  Yojson.Safe.t ->
  operator Ppx_deriving_yojson_runtime.error_or

val pp_lident : 
  Ppx_deriving_runtime.Format.formatter ->
  lident ->
  Ppx_deriving_runtime.unit

val show_lident : lident -> Ppx_deriving_runtime.string

val pp_id_scope : 
  Ppx_deriving_runtime.Format.formatter ->
  id_scope ->
  Ppx_deriving_runtime.unit

val show_id_scope : id_scope -> 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_type_r : 
  Ppx_deriving_runtime.Format.formatter ->
  type_r ->
  Ppx_deriving_runtime.unit

val show_type_r : type_r -> Ppx_deriving_runtime.string

val pp_type_t : 
  Ppx_deriving_runtime.Format.formatter ->
  type_t ->
  Ppx_deriving_runtime.unit

val show_type_t : type_t -> Ppx_deriving_runtime.string

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

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_arithmetic_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  arithmetic_operator ->
  Ppx_deriving_runtime.unit

val show_arithmetic_operator : 
  arithmetic_operator ->
  Ppx_deriving_runtime.string

val pp_unary_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  unary_operator ->
  Ppx_deriving_runtime.unit

val show_unary_operator : unary_operator -> 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_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  operator ->
  Ppx_deriving_runtime.unit

val show_operator : operator -> Ppx_deriving_runtime.string

type pattern_unloc =

| Pwild
| Pref of pname Location.loced * lident list

and pname =

| PIdent of Ident.ident
| PCons
| PNil
| PSome
| PNone
| PLeft
| PRight

and pattern = pattern_unloc Location.loced

and for_ident_unloc =

| FIsimple of lident
| FIdouble of lident * lident

and for_ident = for_ident_unloc Location.loced

and transfer_t =

| TTsimple of expr * expr
| TTcontract of expr * expr * lident * type_t * expr
| TTentry of expr * lident * expr
| TTentry2 of expr * lident * expr * lident * expr
| TTself of expr * lident * expr list
| TToperation of expr

and micheline_t =

| MIstring of string
| MIint of Core.big_int
| MIbytes of string
| MIprim of string * micheline_t list * string list
| MIseq of micheline_t list

and method_kind =

| MKexpr of expr
| MKself

and match_kind =

| MKbasic
| MKdetach

and var_decl_kind =

| VDKbasic
| VDKoption of expr option

and expr_unloc =

| Eterm of id_scope * lident
| Eliteral of literal
| Earray of id_scope * expr list
| Erecord of id_scope * record_item list
| Etuple of expr list
| Edot of expr * id_scope * lident
| Equestiondot of expr * id_scope * lident
| Esqapp of expr * expr
| Emulticomp of expr * (comparison_operator Location.loced * expr) list
| Eapp of function_ * expr list
| Eappt of function_ * type_t list * expr list
| Emethod of method_kind * lident * expr list
| Etransfer of transfer_t
| Edetach of lident * expr * expr
| Edorequire of expr * expr
| Edofailif of expr * expr
| Efail of expr
| Efailexpr of expr
| Efailsome of expr
| Eassign of assignment_operator * expr * expr
| Eassignopt of expr * expr * expr
| Eif of expr * expr * expr option
| Efor of for_ident * expr * expr
| Eiter of lident * expr option * expr * expr
| Ewhile of expr * expr
| Eseq of expr * expr
| Eletin of lident * type_t option * expr * expr * expr option
| Evar of lident list * type_t option * expr * var_decl_kind * bool
| Ematchwith of expr * branch list * match_kind
| Efold of expr * lident * expr
| Emap of expr * lident * expr
| Erecupdate of expr * (lident * expr) list
| Ereturn of expr
| Eoption of option_
| Eor of or_
| Elambda of type_t option * lident * type_t option * expr
| Elambda_michelson of type_t * type_t * micheline_t
| Eentrypoint of type_t * expr * expr * expr option
| Ecallview of type_t * expr * expr * expr
| Eunpack of type_t * expr
| Eemit of type_t * expr
| Eself of lident
| Eself_contract of type_t * lident option
| Eternary of expr * expr * expr
| Eany
| Enothing
| Eunit
| Etz_expr of string
| Emicheline of micheline_t
| Emicheline_expr of type_t * micheline_t * expr list
| Einvalid

and branch = pattern list * expr

and scope =

| Added
| After
| Before
| Fixed
| Removed
| Stable

and option_ =

| OSome of expr
| ONone of type_t option

and or_ =

| Oleft of type_t option * type_t * expr
| Oright of type_t * type_t option * expr

and function_ =

| Fident of id_scope * lident
| Foperator of operator Location.loced

and literal =

| Lint of Core.big_int
| Lnat of Core.big_int
| Ldecimal of string
| Ltz of string
| Lmtz of string
| Lutz of string
| Laddress of string
| Lstring of string
| Lbool of bool
| Lduration of string
| Ldate of string
| Lbytes of string
| Lpercent of string
| LnumberFr of Core.big_int
| LbytesFr of string
| LbytesG1 of string
| LbytesG2 of string

and record_item = (assignment_operator * lident) option * expr

and expr = expr_unloc Location.loced

and lident_typ = lident * type_t

and field_unloc =

| Ffield of lident * type_t * expr option
(*
field
*)

and field = field_unloc Location.loced

and args = lident_typ list

and view_visibility =

| VVonchain
| VVoffchain
| VVonoffchain
| VVnone

and s_function = {

name : lident;
args : args;
ret_t : type_t option;
body : expr;
view : bool;
view_visibility : view_visibility;

}

and entry_properties = {

accept_transfer : bool * expr option;
sourcedby : (expr * expr option) Location.loced option;
calledby : (expr * expr option) Location.loced option;
state_is : (lident * expr option) Location.loced option;
constants : (lident * expr * expr option) Location.loced list option;
require : (lident * expr * expr option) Location.loced list option;
failif : (lident * expr * expr option) Location.loced list option;
functions : s_function Location.loced list;

}

and transition = (lident * expr option * expr option) list

and parameter = (lident * type_t * expr option * bool) Location.loced

and parameters = parameter list Location.loced option

and metadata =

| Muri of string Location.loced
| Mjson of string Location.loced

and variable_kind =

| VKvariable
| VKconstant

and enum_kind =

| EKenum of lident
| EKstate

and declaration_unloc =

| Darchetype of lident * parameters * metadata option
| Dimport of lident option * lident
| Dvariable of variable_decl
| Denum of enum_kind * enum_decl
| Dasset of asset_decl
| Drecord of record_decl
| Dentry of entry_decl
| Dgetter of getter_decl
| Dtransition of transition_decl
| Dnamespace of namespace_decl
| Dfunction of s_function
| Dtype of lident * type_t
| Devent of record_decl
| Dinvalid

and variable_decl = lident * type_t * expr option * variable_kind

and enum_decl = (lident * type_t list * enum_option list) list

and asset_decl =
  lident
  * field list
  * asset_option list
  * asset_post_option list
  * asset_operation option

and record_decl = lident * field list * expr option

and entry_decl = lident * args * entry_properties * expr option

and getter_decl = {

name : lident;
args : args;
ret_t : type_t;
entry_properties : entry_properties;
body : expr;

}

and transition_decl = lident * args * expr * entry_properties * transition

and namespace_decl = lident * declaration list

and map_kind =

| MKMap
| MKBigMap
| MKIterableBigMap

and asset_option =

| AOidentifiedby of lident list
| AOsortedby of lident
| AOtoMapKind of map_kind

and init_asset =

| IAliteral of expr list
| IAident of lident

and asset_post_option =

| APOinit of init_asset

and enum_option =

| EOinitial

and declaration = declaration_unloc Location.loced

and asset_operation_enum =

| AOadd
| AOremove
| AOupdate

and asset_operation =

| AssetOperation of asset_operation_enum list * expr option

and archetype_unloc = declaration list

and archetype = archetype_unloc Location.loced

include sig ... end

class virtual +'a map : object ... end

include sig ... end

class virtual +'a iter : object ... end

include sig ... end

class virtual +'a reduce : object ... end

include sig ... end

class virtual +'a reduce2 : object ... end

val pattern_unloc_to_yojson : pattern_unloc -> Yojson.Safe.t

val pattern_unloc_of_yojson : 
  Yojson.Safe.t ->
  pattern_unloc Ppx_deriving_yojson_runtime.error_or

val pname_to_yojson : pname -> Yojson.Safe.t

val pname_of_yojson : 
  Yojson.Safe.t ->
  pname Ppx_deriving_yojson_runtime.error_or

val pattern_to_yojson : pattern -> Yojson.Safe.t

val pattern_of_yojson : 
  Yojson.Safe.t ->
  pattern Ppx_deriving_yojson_runtime.error_or

val for_ident_unloc_to_yojson : for_ident_unloc -> Yojson.Safe.t

val for_ident_unloc_of_yojson : 
  Yojson.Safe.t ->
  for_ident_unloc Ppx_deriving_yojson_runtime.error_or

val for_ident_to_yojson : for_ident -> Yojson.Safe.t

val for_ident_of_yojson : 
  Yojson.Safe.t ->
  for_ident Ppx_deriving_yojson_runtime.error_or

val transfer_t_to_yojson : transfer_t -> Yojson.Safe.t

val transfer_t_of_yojson : 
  Yojson.Safe.t ->
  transfer_t Ppx_deriving_yojson_runtime.error_or

val micheline_t_to_yojson : micheline_t -> Yojson.Safe.t

val micheline_t_of_yojson : 
  Yojson.Safe.t ->
  micheline_t Ppx_deriving_yojson_runtime.error_or

val method_kind_to_yojson : method_kind -> Yojson.Safe.t

val method_kind_of_yojson : 
  Yojson.Safe.t ->
  method_kind Ppx_deriving_yojson_runtime.error_or

val match_kind_to_yojson : match_kind -> Yojson.Safe.t

val match_kind_of_yojson : 
  Yojson.Safe.t ->
  match_kind Ppx_deriving_yojson_runtime.error_or

val var_decl_kind_to_yojson : var_decl_kind -> Yojson.Safe.t

val var_decl_kind_of_yojson : 
  Yojson.Safe.t ->
  var_decl_kind Ppx_deriving_yojson_runtime.error_or

val expr_unloc_to_yojson : expr_unloc -> Yojson.Safe.t

val expr_unloc_of_yojson : 
  Yojson.Safe.t ->
  expr_unloc Ppx_deriving_yojson_runtime.error_or

val branch_to_yojson : branch -> Yojson.Safe.t

val branch_of_yojson : 
  Yojson.Safe.t ->
  branch Ppx_deriving_yojson_runtime.error_or

val scope_to_yojson : scope -> Yojson.Safe.t

val scope_of_yojson : 
  Yojson.Safe.t ->
  scope Ppx_deriving_yojson_runtime.error_or

val option__to_yojson : option_ -> Yojson.Safe.t

val option__of_yojson : 
  Yojson.Safe.t ->
  option_ Ppx_deriving_yojson_runtime.error_or

val or__to_yojson : or_ -> Yojson.Safe.t

val or__of_yojson : Yojson.Safe.t -> or_ Ppx_deriving_yojson_runtime.error_or

val function__to_yojson : function_ -> Yojson.Safe.t

val function__of_yojson : 
  Yojson.Safe.t ->
  function_ Ppx_deriving_yojson_runtime.error_or

val literal_to_yojson : literal -> Yojson.Safe.t

val literal_of_yojson : 
  Yojson.Safe.t ->
  literal Ppx_deriving_yojson_runtime.error_or

val record_item_to_yojson : record_item -> Yojson.Safe.t

val record_item_of_yojson : 
  Yojson.Safe.t ->
  record_item Ppx_deriving_yojson_runtime.error_or

val expr_to_yojson : expr -> Yojson.Safe.t

val expr_of_yojson : Yojson.Safe.t -> expr Ppx_deriving_yojson_runtime.error_or

val lident_typ_to_yojson : lident_typ -> Yojson.Safe.t

val lident_typ_of_yojson : 
  Yojson.Safe.t ->
  lident_typ Ppx_deriving_yojson_runtime.error_or

val field_unloc_to_yojson : field_unloc -> Yojson.Safe.t

val field_unloc_of_yojson : 
  Yojson.Safe.t ->
  field_unloc Ppx_deriving_yojson_runtime.error_or

val field_to_yojson : field -> Yojson.Safe.t

val field_of_yojson : 
  Yojson.Safe.t ->
  field Ppx_deriving_yojson_runtime.error_or

val args_to_yojson : args -> Yojson.Safe.t

val args_of_yojson : Yojson.Safe.t -> args Ppx_deriving_yojson_runtime.error_or

val view_visibility_to_yojson : view_visibility -> Yojson.Safe.t

val view_visibility_of_yojson : 
  Yojson.Safe.t ->
  view_visibility Ppx_deriving_yojson_runtime.error_or

val s_function_to_yojson : s_function -> Yojson.Safe.t

val s_function_of_yojson : 
  Yojson.Safe.t ->
  s_function Ppx_deriving_yojson_runtime.error_or

val entry_properties_to_yojson : entry_properties -> Yojson.Safe.t

val entry_properties_of_yojson : 
  Yojson.Safe.t ->
  entry_properties Ppx_deriving_yojson_runtime.error_or

val transition_to_yojson : transition -> Yojson.Safe.t

val transition_of_yojson : 
  Yojson.Safe.t ->
  transition Ppx_deriving_yojson_runtime.error_or

val parameter_to_yojson : parameter -> Yojson.Safe.t

val parameter_of_yojson : 
  Yojson.Safe.t ->
  parameter Ppx_deriving_yojson_runtime.error_or

val parameters_to_yojson : parameters -> Yojson.Safe.t

val parameters_of_yojson : 
  Yojson.Safe.t ->
  parameters Ppx_deriving_yojson_runtime.error_or

val metadata_to_yojson : metadata -> Yojson.Safe.t

val metadata_of_yojson : 
  Yojson.Safe.t ->
  metadata Ppx_deriving_yojson_runtime.error_or

val variable_kind_to_yojson : variable_kind -> Yojson.Safe.t

val variable_kind_of_yojson : 
  Yojson.Safe.t ->
  variable_kind Ppx_deriving_yojson_runtime.error_or

val enum_kind_to_yojson : enum_kind -> Yojson.Safe.t

val enum_kind_of_yojson : 
  Yojson.Safe.t ->
  enum_kind Ppx_deriving_yojson_runtime.error_or

val declaration_unloc_to_yojson : declaration_unloc -> Yojson.Safe.t

val declaration_unloc_of_yojson : 
  Yojson.Safe.t ->
  declaration_unloc Ppx_deriving_yojson_runtime.error_or

val variable_decl_to_yojson : variable_decl -> Yojson.Safe.t

val variable_decl_of_yojson : 
  Yojson.Safe.t ->
  variable_decl Ppx_deriving_yojson_runtime.error_or

val enum_decl_to_yojson : enum_decl -> Yojson.Safe.t

val enum_decl_of_yojson : 
  Yojson.Safe.t ->
  enum_decl Ppx_deriving_yojson_runtime.error_or

val asset_decl_to_yojson : asset_decl -> Yojson.Safe.t

val asset_decl_of_yojson : 
  Yojson.Safe.t ->
  asset_decl Ppx_deriving_yojson_runtime.error_or

val record_decl_to_yojson : record_decl -> Yojson.Safe.t

val record_decl_of_yojson : 
  Yojson.Safe.t ->
  record_decl Ppx_deriving_yojson_runtime.error_or

val entry_decl_to_yojson : entry_decl -> Yojson.Safe.t

val entry_decl_of_yojson : 
  Yojson.Safe.t ->
  entry_decl Ppx_deriving_yojson_runtime.error_or

val getter_decl_to_yojson : getter_decl -> Yojson.Safe.t

val getter_decl_of_yojson : 
  Yojson.Safe.t ->
  getter_decl Ppx_deriving_yojson_runtime.error_or

val transition_decl_to_yojson : transition_decl -> Yojson.Safe.t

val transition_decl_of_yojson : 
  Yojson.Safe.t ->
  transition_decl Ppx_deriving_yojson_runtime.error_or

val namespace_decl_to_yojson : namespace_decl -> Yojson.Safe.t

val namespace_decl_of_yojson : 
  Yojson.Safe.t ->
  namespace_decl Ppx_deriving_yojson_runtime.error_or

val map_kind_to_yojson : map_kind -> Yojson.Safe.t

val map_kind_of_yojson : 
  Yojson.Safe.t ->
  map_kind Ppx_deriving_yojson_runtime.error_or

val asset_option_to_yojson : asset_option -> Yojson.Safe.t

val asset_option_of_yojson : 
  Yojson.Safe.t ->
  asset_option Ppx_deriving_yojson_runtime.error_or

val init_asset_to_yojson : init_asset -> Yojson.Safe.t

val init_asset_of_yojson : 
  Yojson.Safe.t ->
  init_asset Ppx_deriving_yojson_runtime.error_or

val asset_post_option_to_yojson : asset_post_option -> Yojson.Safe.t

val asset_post_option_of_yojson : 
  Yojson.Safe.t ->
  asset_post_option Ppx_deriving_yojson_runtime.error_or

val enum_option_to_yojson : enum_option -> Yojson.Safe.t

val enum_option_of_yojson : 
  Yojson.Safe.t ->
  enum_option Ppx_deriving_yojson_runtime.error_or

val declaration_to_yojson : declaration -> Yojson.Safe.t

val declaration_of_yojson : 
  Yojson.Safe.t ->
  declaration Ppx_deriving_yojson_runtime.error_or

val asset_operation_enum_to_yojson : asset_operation_enum -> Yojson.Safe.t

val asset_operation_enum_of_yojson : 
  Yojson.Safe.t ->
  asset_operation_enum Ppx_deriving_yojson_runtime.error_or

val asset_operation_to_yojson : asset_operation -> Yojson.Safe.t

val asset_operation_of_yojson : 
  Yojson.Safe.t ->
  asset_operation Ppx_deriving_yojson_runtime.error_or

val archetype_unloc_to_yojson : archetype_unloc -> Yojson.Safe.t

val archetype_unloc_of_yojson : 
  Yojson.Safe.t ->
  archetype_unloc Ppx_deriving_yojson_runtime.error_or

val archetype_to_yojson : archetype -> Yojson.Safe.t

val archetype_of_yojson : 
  Yojson.Safe.t ->
  archetype Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> archetype Ppx_deriving_yojson_runtime.error_or

val pp_pattern_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  pattern_unloc ->
  Ppx_deriving_runtime.unit

val show_pattern_unloc : pattern_unloc -> Ppx_deriving_runtime.string

val pp_pname : 
  Ppx_deriving_runtime.Format.formatter ->
  pname ->
  Ppx_deriving_runtime.unit

val show_pname : pname -> 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_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  for_ident_unloc ->
  Ppx_deriving_runtime.unit

val show_for_ident_unloc : for_ident_unloc -> 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_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_micheline_t : 
  Ppx_deriving_runtime.Format.formatter ->
  micheline_t ->
  Ppx_deriving_runtime.unit

val show_micheline_t : micheline_t -> Ppx_deriving_runtime.string

val pp_method_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  method_kind ->
  Ppx_deriving_runtime.unit

val show_method_kind : method_kind -> Ppx_deriving_runtime.string

val pp_match_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  match_kind ->
  Ppx_deriving_runtime.unit

val show_match_kind : match_kind -> Ppx_deriving_runtime.string

val pp_var_decl_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  var_decl_kind ->
  Ppx_deriving_runtime.unit

val show_var_decl_kind : var_decl_kind -> Ppx_deriving_runtime.string

val pp_expr_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  expr_unloc ->
  Ppx_deriving_runtime.unit

val show_expr_unloc : expr_unloc -> Ppx_deriving_runtime.string

val pp_branch : 
  Ppx_deriving_runtime.Format.formatter ->
  branch ->
  Ppx_deriving_runtime.unit

val show_branch : branch -> Ppx_deriving_runtime.string

val pp_scope : 
  Ppx_deriving_runtime.Format.formatter ->
  scope ->
  Ppx_deriving_runtime.unit

val show_scope : scope -> Ppx_deriving_runtime.string

val pp_option_ : 
  Ppx_deriving_runtime.Format.formatter ->
  option_ ->
  Ppx_deriving_runtime.unit

val show_option_ : option_ -> Ppx_deriving_runtime.string

val pp_or_ : 
  Ppx_deriving_runtime.Format.formatter ->
  or_ ->
  Ppx_deriving_runtime.unit

val show_or_ : or_ -> 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_literal : 
  Ppx_deriving_runtime.Format.formatter ->
  literal ->
  Ppx_deriving_runtime.unit

val show_literal : literal -> Ppx_deriving_runtime.string

val pp_record_item : 
  Ppx_deriving_runtime.Format.formatter ->
  record_item ->
  Ppx_deriving_runtime.unit

val show_record_item : record_item -> Ppx_deriving_runtime.string

val pp_expr : 
  Ppx_deriving_runtime.Format.formatter ->
  expr ->
  Ppx_deriving_runtime.unit

val show_expr : expr -> Ppx_deriving_runtime.string

val pp_lident_typ : 
  Ppx_deriving_runtime.Format.formatter ->
  lident_typ ->
  Ppx_deriving_runtime.unit

val show_lident_typ : lident_typ -> Ppx_deriving_runtime.string

val pp_field_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  field_unloc ->
  Ppx_deriving_runtime.unit

val show_field_unloc : field_unloc -> Ppx_deriving_runtime.string

val pp_field : 
  Ppx_deriving_runtime.Format.formatter ->
  field ->
  Ppx_deriving_runtime.unit

val show_field : field -> Ppx_deriving_runtime.string

val pp_args : 
  Ppx_deriving_runtime.Format.formatter ->
  args ->
  Ppx_deriving_runtime.unit

val show_args : args -> 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

val pp_s_function : 
  Ppx_deriving_runtime.Format.formatter ->
  s_function ->
  Ppx_deriving_runtime.unit

val show_s_function : s_function -> Ppx_deriving_runtime.string

val pp_entry_properties : 
  Ppx_deriving_runtime.Format.formatter ->
  entry_properties ->
  Ppx_deriving_runtime.unit

val show_entry_properties : entry_properties -> Ppx_deriving_runtime.string

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

val show_transition : transition -> Ppx_deriving_runtime.string

val pp_parameter : 
  Ppx_deriving_runtime.Format.formatter ->
  parameter ->
  Ppx_deriving_runtime.unit

val show_parameter : parameter -> Ppx_deriving_runtime.string

val pp_parameters : 
  Ppx_deriving_runtime.Format.formatter ->
  parameters ->
  Ppx_deriving_runtime.unit

val show_parameters : parameters -> Ppx_deriving_runtime.string

val pp_metadata : 
  Ppx_deriving_runtime.Format.formatter ->
  metadata ->
  Ppx_deriving_runtime.unit

val show_metadata : metadata -> 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

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

val pp_declaration_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  declaration_unloc ->
  Ppx_deriving_runtime.unit

val show_declaration_unloc : declaration_unloc -> Ppx_deriving_runtime.string

val pp_variable_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  variable_decl ->
  Ppx_deriving_runtime.unit

val show_variable_decl : variable_decl -> Ppx_deriving_runtime.string

val pp_enum_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  enum_decl ->
  Ppx_deriving_runtime.unit

val show_enum_decl : enum_decl -> Ppx_deriving_runtime.string

val pp_asset_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_decl ->
  Ppx_deriving_runtime.unit

val show_asset_decl : asset_decl -> Ppx_deriving_runtime.string

val pp_record_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  record_decl ->
  Ppx_deriving_runtime.unit

val show_record_decl : record_decl -> Ppx_deriving_runtime.string

val pp_entry_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  entry_decl ->
  Ppx_deriving_runtime.unit

val show_entry_decl : entry_decl -> Ppx_deriving_runtime.string

val pp_getter_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  getter_decl ->
  Ppx_deriving_runtime.unit

val show_getter_decl : getter_decl -> Ppx_deriving_runtime.string

val pp_transition_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  transition_decl ->
  Ppx_deriving_runtime.unit

val show_transition_decl : transition_decl -> Ppx_deriving_runtime.string

val pp_namespace_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  namespace_decl ->
  Ppx_deriving_runtime.unit

val show_namespace_decl : namespace_decl -> 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_asset_option : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_option ->
  Ppx_deriving_runtime.unit

val show_asset_option : asset_option -> Ppx_deriving_runtime.string

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

val pp_asset_post_option : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_post_option ->
  Ppx_deriving_runtime.unit

val show_asset_post_option : asset_post_option -> Ppx_deriving_runtime.string

val pp_enum_option : 
  Ppx_deriving_runtime.Format.formatter ->
  enum_option ->
  Ppx_deriving_runtime.unit

val show_enum_option : enum_option -> Ppx_deriving_runtime.string

val pp_declaration : 
  Ppx_deriving_runtime.Format.formatter ->
  declaration ->
  Ppx_deriving_runtime.unit

val show_declaration : declaration -> Ppx_deriving_runtime.string

val pp_asset_operation_enum : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_operation_enum ->
  Ppx_deriving_runtime.unit

val show_asset_operation_enum : 
  asset_operation_enum ->
  Ppx_deriving_runtime.string

val pp_asset_operation : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_operation ->
  Ppx_deriving_runtime.unit

val show_asset_operation : asset_operation -> Ppx_deriving_runtime.string

val pp_archetype_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  archetype_unloc ->
  Ppx_deriving_runtime.unit

val show_archetype_unloc : archetype_unloc -> Ppx_deriving_runtime.string

val pp_archetype : 
  Ppx_deriving_runtime.Format.formatter ->
  archetype ->
  Ppx_deriving_runtime.unit

val show_archetype : archetype -> Ppx_deriving_runtime.string

val tref : ?loc:Location.t -> ?a:lident -> Ident.ident -> type_t

val tunit : type_t

val tstring : type_t

val tnat : type_t

val tint : type_t

val trational : type_t

val tbool : type_t

val trole : type_t

val taddress : type_t

val tdate : type_t

val ttez : type_t

val tduration : type_t

val tsignature : type_t

val tkey : type_t

val tkey_hash : type_t

val tbytes : type_t

val tchain_id : type_t

val toperation : type_t

val tbls12_381_fr : type_t

val tbls12_381_g1 : type_t

val tbls12_381_g2 : type_t

val tnever : type_t

val tchest : type_t

val tchest_key : type_t

val mk_tcontainer : 
  ?loc:Location.t ->
  ?a:lident ->
  type_t ->
  container ->
  type_t

val mk_ttuple : ?loc:Location.t -> ?a:lident -> type_t list -> type_t

val mk_toption : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tset : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tlist : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tmap : ?loc:Location.t -> ?a:lident -> type_t -> type_t -> type_t

val mk_tbig_map : ?loc:Location.t -> ?a:lident -> type_t -> type_t -> type_t

val mk_titerable_big_map : 
  ?loc:Location.t ->
  ?a:lident ->
  type_t ->
  type_t ->
  type_t

val mk_tor : ?loc:Location.t -> ?a:lident -> type_t -> type_t -> type_t

val mk_tlambda : ?loc:Location.t -> ?a:lident -> type_t -> type_t -> type_t

val mk_tcontract : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_tticket : ?loc:Location.t -> ?a:lident -> type_t -> type_t

val mk_sapling_state : ?loc:Location.t -> ?a:lident -> Core.big_int -> type_t

val mk_sapling_transaction : 
  ?loc:Location.t ->
  ?a:lident ->
  Core.big_int ->
  type_t

val mk_eliteral : ?loc:Location.t -> literal -> expr_unloc Location.loced

val ebint : Core.big_int -> expr_unloc Location.loced

val ebnat : Core.big_int -> expr_unloc Location.loced

val ebtz : string -> expr_unloc Location.loced

val etrue : expr_unloc Location.loced

val efalse : expr_unloc Location.loced

val eint : Core.big_int -> expr_unloc Location.loced

val enat : Core.big_int -> expr_unloc Location.loced

val edecimal : string -> expr_unloc Location.loced

val etz : string -> expr_unloc Location.loced

val emtz : string -> expr_unloc Location.loced

val eutz : string -> expr_unloc Location.loced

val eaddress : string -> expr_unloc Location.loced

val estring : string -> expr_unloc Location.loced

val ebool : bool -> expr_unloc Location.loced

val eduration : string -> expr_unloc Location.loced

val edate : string -> expr_unloc Location.loced

val ebytes : string -> expr_unloc Location.loced

val epercent : string -> expr_unloc Location.loced

val enumberFr : Core.big_int -> expr_unloc Location.loced

val ebytesFr : string -> expr_unloc Location.loced

val ebytesG1 : string -> expr_unloc Location.loced

val ebytesG2 : string -> expr_unloc Location.loced

val eterm : 
  ?loc:Location.t ->
  ?s:id_scope ->
  lident ->
  expr_unloc Location.loced

val eterm2 : 
  ?loc:Location.t ->
  (id_scope * lident) ->
  expr_unloc Location.loced

val eliteral : ?loc:Location.t -> literal -> expr_unloc Location.loced

val earray : 
  ?loc:Location.t ->
  ?s:id_scope ->
  expr list ->
  expr_unloc Location.loced

val erecord : 
  ?loc:Location.t ->
  ?s:id_scope ->
  record_item list ->
  expr_unloc Location.loced

val etuple : ?loc:Location.t -> expr list -> expr_unloc Location.loced

val edot : 
  ?loc:Location.t ->
  expr ->
  (id_scope * lident) ->
  expr_unloc Location.loced

val equestiondot : 
  ?loc:Location.t ->
  expr ->
  (id_scope * lident) ->
  expr_unloc Location.loced

val esqapp : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val emulticomp : 
  ?loc:Location.t ->
  expr ->
  (comparison_operator Location.loced * expr) list ->
  expr_unloc Location.loced

val eapp : 
  ?loc:Location.t ->
  function_ ->
  expr list ->
  expr_unloc Location.loced

val eappt : 
  ?loc:Location.t ->
  function_ ->
  type_t list ->
  expr list ->
  expr_unloc Location.loced

val emethod : 
  ?loc:Location.t ->
  method_kind ->
  lident ->
  expr list ->
  expr_unloc Location.loced

val etransfer : ?loc:Location.t -> transfer_t -> expr_unloc Location.loced

val edetach : 
  ?loc:Location.t ->
  lident ->
  expr ->
  expr ->
  expr_unloc Location.loced

val edorequire : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val edofailif : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val efail : ?loc:Location.t -> expr -> expr_unloc Location.loced

val efailexpr : ?loc:Location.t -> expr -> expr_unloc Location.loced

val efailsome : ?loc:Location.t -> expr -> expr_unloc Location.loced

val eassign : 
  ?loc:Location.t ->
  assignment_operator ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eassignopt : 
  ?loc:Location.t ->
  expr ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eif : 
  ?loc:Location.t ->
  ?e:expr ->
  expr ->
  expr ->
  expr_unloc Location.loced

val efor : 
  ?loc:Location.t ->
  for_ident ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eiter : 
  ?loc:Location.t ->
  ?min:expr ->
  lident ->
  expr ->
  expr ->
  expr_unloc Location.loced

val ewhile : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val eseq : ?loc:Location.t -> expr -> expr -> expr_unloc Location.loced

val eletin : 
  ?loc:Location.t ->
  ?t:type_t ->
  ?o:expr ->
  lident ->
  expr ->
  expr ->
  expr_unloc Location.loced

val evar : 
  ?loc:Location.t ->
  ?t:type_t ->
  lident list ->
  expr ->
  var_decl_kind ->
  bool ->
  expr_unloc Location.loced

val ematchwith : 
  ?loc:Location.t ->
  expr ->
  branch list ->
  match_kind ->
  expr_unloc Location.loced

val efold : 
  ?loc:Location.t ->
  expr ->
  lident ->
  expr ->
  expr_unloc Location.loced

val emap : 
  ?loc:Location.t ->
  expr ->
  lident ->
  expr ->
  expr_unloc Location.loced

val erecupdate : 
  ?loc:Location.t ->
  expr ->
  (lident * expr) list ->
  expr_unloc Location.loced

val ereturn : ?loc:Location.t -> expr -> expr_unloc Location.loced

val eoption : ?loc:Location.t -> option_ -> expr_unloc Location.loced

val eor : ?loc:Location.t -> or_ -> expr_unloc Location.loced

val eleft : ?loc:Location.t -> type_t -> expr -> expr_unloc Location.loced

val eright : ?loc:Location.t -> type_t -> expr -> expr_unloc Location.loced

val elambda : 
  ?loc:Location.t ->
  type_t option ->
  lident ->
  type_t option ->
  expr ->
  expr_unloc Location.loced

val elambda_michelson : 
  ?loc:Location.t ->
  type_t ->
  type_t ->
  micheline_t ->
  expr_unloc Location.loced

val eentrypoint : 
  ?loc:Location.t ->
  type_t ->
  expr ->
  expr ->
  expr option ->
  expr_unloc Location.loced

val ecallview : 
  ?loc:Location.t ->
  type_t ->
  expr ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eunpack : ?loc:Location.t -> type_t -> expr -> expr_unloc Location.loced

val eemit : ?loc:Location.t -> type_t -> expr -> expr_unloc Location.loced

val eself : ?loc:Location.t -> lident -> expr_unloc Location.loced

val eself_contract : 
  ?loc:Location.t ->
  type_t ->
  lident option ->
  expr_unloc Location.loced

val eternary : 
  ?loc:Location.t ->
  expr ->
  expr ->
  expr ->
  expr_unloc Location.loced

val eany : ?loc:Location.t -> 'a -> expr_unloc Location.loced

val enothing : ?loc:Location.t -> 'a -> expr_unloc Location.loced

val eunit : ?loc:Location.t -> 'a -> expr_unloc Location.loced

val etz_expr : ?loc:Location.t -> string -> expr_unloc Location.loced

val emicheline : ?loc:Location.t -> micheline_t -> expr_unloc Location.loced

val emicheline_expr : 
  ?loc:Location.t ->
  type_t ->
  micheline_t ->
  expr list ->
  expr_unloc Location.loced

val einvalid : ?loc:Location.t -> 'a -> expr_unloc Location.loced

val mk_s_function : 
  lident ->
  args ->
  type_t option ->
  expr ->
  bool ->
  view_visibility ->
  s_function

val mk_entry_properties : 
  ?accept_transfer:(bool * expr option) ->
  ?sourcedby:(expr * expr option) Location.loced ->
  ?calledby:(expr * expr option) Location.loced ->
  ?state_is:(lident * expr option) Location.loced ->
  ?constants:(lident * expr * expr option) Location.loced list ->
  ?require:(lident * expr * expr option) Location.loced list ->
  ?failif:(lident * expr * expr option) Location.loced list ->
  ?functions:s_function Location.loced list ->
  'a ->
  entry_properties

val mk_transition_item : 
  lident ->
  expr option ->
  expr option ->
  lident * expr option * expr option

val mk_variable_decl : 
  ?dv:expr ->
  lident ->
  type_t ->
  variable_kind ->
  variable_decl

val mk_enum_decl : enum_decl -> enum_decl

val mk_asset_decl : 
  ?fs:field list ->
  ?aos:asset_option list ->
  ?apos:asset_post_option list ->
  ?ao:asset_operation ->
  lident ->
  asset_decl

val mk_record_decl : ?fs:field list -> ?pos:expr -> lident -> record_decl

val mk_entry_decl : 
  ?args:args ->
  ?body:expr ->
  lident ->
  entry_properties ->
  entry_decl

val mk_getter_decl : 
  lident ->
  args ->
  type_t ->
  entry_properties ->
  expr ->
  getter_decl

val mk_transition_decl : 
  ?args:args ->
  ?trs:transition ->
  lident ->
  expr ->
  entry_properties ->
  transition_decl

val mk_namespace_decl : ?ds:declaration list -> lident -> namespace_decl

val mk_asset_option_identifiedby : lident list -> asset_option

val mk_asset_option_sortedby : lident -> asset_option

val mk_asset_option_to_map_kind : map_kind -> asset_option

val mk_asset_post_option_init : init_asset -> asset_post_option

val mk_enum_option_initial : 'a -> enum_option

val mk_assetoperation : 
  asset_operation_enum list ->
  expr option ->
  asset_operation

val mk_darchetype : 
  ?parameters:parameter list Location.loced ->
  ?metadata:metadata ->
  ?loc:Location.t ->
  lident ->
  declaration_unloc Location.loced

val mk_variable : 
  ?loc:Location.t ->
  variable_decl ->
  declaration_unloc Location.loced

val mk_enum : 
  ?loc:Location.t ->
  enum_kind ->
  enum_decl ->
  declaration_unloc Location.loced

val mk_asset : 
  ?loc:Location.t ->
  asset_decl ->
  declaration_unloc Location.loced

val mk_record : 
  ?loc:Location.t ->
  record_decl ->
  declaration_unloc Location.loced

val mk_event : 
  ?loc:Location.t ->
  record_decl ->
  declaration_unloc Location.loced

val mk_entry : 
  ?loc:Location.t ->
  entry_decl ->
  declaration_unloc Location.loced

val mk_getter : 
  ?loc:Location.t ->
  getter_decl ->
  declaration_unloc Location.loced

val mk_transition : 
  ?loc:Location.t ->
  transition_decl ->
  declaration_unloc Location.loced

val mk_namespace : 
  ?loc:Location.t ->
  namespace_decl ->
  declaration_unloc Location.loced

val mk_function : 
  ?loc:Location.t ->
  s_function ->
  declaration_unloc Location.loced

val mk_dtype : 
  ?loc:Location.t ->
  lident ->
  type_t ->
  declaration_unloc Location.loced

val mk_invalid : ?loc:Location.t -> unit -> declaration_unloc Location.loced

val mk_archetype : 
  ?decls:'a list ->
  ?loc:Location.t ->
  unit ->
  'a list Location.loced

val cst_now : string

val cst_transferred : string

val cst_caller : string

val cst_balance : string

val cst_source : string

val cst_self_address : string

val cst_self_chain_id : string

val cst_metadata : string

val cst_level : string

val cst_min_block_time : string

val get_name : declaration_unloc -> Ident.ident

package archetype