Module `Archetype.ParseTree`Source

Sourcetype lident = Ident.ident Location.loced

Sourceand id_scope =

| SINone
| SIParent
| SIId of lident

Sourceand container =

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

Sourceand 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

Sourceand type_t = type_r Location.loced * lident option

Sourceand logical_operator =

| And
| Or
| Xor

Sourceand comparison_operator =

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

Sourceand arithmetic_operator =

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

Sourceand unary_operator =

| Uminus
| Not

Sourceand assignment_operator =

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

Sourceand operator =

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

Sourceval lident_to_yojson : lident -> Yojson.Safe.t

Source

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

Sourceval id_scope_to_yojson : id_scope -> Yojson.Safe.t

Source

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

Sourceval container_to_yojson : container -> Yojson.Safe.t

Source

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

Sourceval type_r_to_yojson : type_r -> Yojson.Safe.t

Source

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

Sourceval type_t_to_yojson : type_t -> Yojson.Safe.t

Source

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

Sourceval logical_operator_to_yojson : logical_operator -> Yojson.Safe.t

Source

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

Sourceval comparison_operator_to_yojson : comparison_operator -> Yojson.Safe.t

Source

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

Sourceval arithmetic_operator_to_yojson : arithmetic_operator -> Yojson.Safe.t

Source

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

Sourceval unary_operator_to_yojson : unary_operator -> Yojson.Safe.t

Source

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

Sourceval assignment_operator_to_yojson : assignment_operator -> Yojson.Safe.t

Source

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

Sourceval operator_to_yojson : operator -> Yojson.Safe.t

Source

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

Source

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

Source

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

Source

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

Source

val pp_type_r : 
  Ppx_deriving_runtime.Format.formatter ->
  type_r ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

val pp_comparison_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  comparison_operator ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

val pp_assignment_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  assignment_operator ->
  Ppx_deriving_runtime.unit

Source

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

Sourceval show_lident : lident -> Ppx_deriving_runtime.string

Sourceval show_id_scope : id_scope -> Ppx_deriving_runtime.string

Sourceval show_container : container -> Ppx_deriving_runtime.string

Sourceval show_type_r : type_r -> Ppx_deriving_runtime.string

Sourceval show_type_t : type_t -> Ppx_deriving_runtime.string

Sourceval show_logical_operator : logical_operator -> Ppx_deriving_runtime.string

Source

val show_comparison_operator : 
  comparison_operator ->
  Ppx_deriving_runtime.string

Source

val show_arithmetic_operator : 
  arithmetic_operator ->
  Ppx_deriving_runtime.string

Sourceval show_unary_operator : unary_operator -> Ppx_deriving_runtime.string

Source

val show_assignment_operator : 
  assignment_operator ->
  Ppx_deriving_runtime.string

Sourceval show_operator : operator -> Ppx_deriving_runtime.string

Sourcetype pattern_unloc =

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

Sourceand pname =

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

Sourceand pattern = pattern_unloc Location.loced

Sourceand for_ident_unloc =

| FIsimple of lident
| FIdouble of lident * lident

Sourceand for_ident = for_ident_unloc Location.loced

Sourceand 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

Sourceand 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

Sourceand method_kind =

| MKexpr of expr
| MKself

Sourceand match_kind =

| MKbasic
| MKdetach

Sourceand var_decl_kind =

| VDKbasic
| VDKoption of expr option

Sourceand 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
| 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

Sourceand branch = pattern list * expr

Sourceand scope =

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

Sourceand option_ =

| OSome of expr
| ONone of type_t option

Sourceand or_ =

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

Sourceand function_ =

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

Sourceand 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

Sourceand record_item = (assignment_operator * lident) option * expr

Sourceand expr = expr_unloc Location.loced

Sourceand lident_typ = lident * type_t

Sourceand field_unloc =

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

Sourceand field = field_unloc Location.loced

Sourceand args = lident_typ list

Sourceand view_visibility =

| VVonchain
| VVoffchain
| VVonoffchain
| VVnone

Sourceand s_function = {

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

}

Sourceand 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;

}

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

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

Sourceand parameters = parameter list Location.loced option

Sourceand metadata =

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

Sourceand variable_kind =

| VKvariable
| VKconstant

Sourceand enum_kind =

| EKenum of lident
| EKstate

Sourceand 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

Sourceand variable_decl = lident * type_t * expr option * variable_kind

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

Source

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

Sourceand record_decl = lident * field list * expr option

Sourceand entry_decl = lident * args * entry_properties * expr option

Sourceand getter_decl = {

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

}

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

Sourceand namespace_decl = lident * declaration list

Sourceand map_kind =

| MKMap
| MKBigMap
| MKIterableBigMap

Sourceand asset_option =

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

Sourceand init_asset =

| IAliteral of expr list
| IAident of lident

Sourceand asset_post_option =

| APOinit of init_asset

Sourceand enum_option =

| EOinitial

Sourceand declaration = declaration_unloc Location.loced

Sourceand asset_operation_enum =

| AOadd
| AOremove
| AOupdate

Sourceand asset_operation =

| AssetOperation of asset_operation_enum list * expr option

Sourceand archetype_unloc = declaration list

Sourceand archetype = archetype_unloc Location.loced

include sig ... end

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

include sig ... end

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

include sig ... end

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

include sig ... end

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

Sourceval pattern_unloc_to_yojson : pattern_unloc -> Yojson.Safe.t

Source

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

Sourceval pname_to_yojson : pname -> Yojson.Safe.t

Source

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

Sourceval pattern_to_yojson : pattern -> Yojson.Safe.t

Source

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

Sourceval for_ident_unloc_to_yojson : for_ident_unloc -> Yojson.Safe.t

Source

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

Sourceval for_ident_to_yojson : for_ident -> Yojson.Safe.t

Source

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

Sourceval transfer_t_to_yojson : transfer_t -> Yojson.Safe.t

Source

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

Sourceval micheline_t_to_yojson : micheline_t -> Yojson.Safe.t

Source

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

Sourceval method_kind_to_yojson : method_kind -> Yojson.Safe.t

Source

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

Sourceval match_kind_to_yojson : match_kind -> Yojson.Safe.t

Source

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

Sourceval var_decl_kind_to_yojson : var_decl_kind -> Yojson.Safe.t

Source

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

Sourceval expr_unloc_to_yojson : expr_unloc -> Yojson.Safe.t

Source

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

Sourceval branch_to_yojson : branch -> Yojson.Safe.t

Source

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

Sourceval scope_to_yojson : scope -> Yojson.Safe.t

Source

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

Sourceval option__to_yojson : option_ -> Yojson.Safe.t

Source

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

Sourceval or__to_yojson : or_ -> Yojson.Safe.t

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

Sourceval function__to_yojson : function_ -> Yojson.Safe.t

Source

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

Sourceval literal_to_yojson : literal -> Yojson.Safe.t

Source

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

Sourceval record_item_to_yojson : record_item -> Yojson.Safe.t

Source

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

Sourceval expr_to_yojson : expr -> Yojson.Safe.t

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

Sourceval lident_typ_to_yojson : lident_typ -> Yojson.Safe.t

Source

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

Sourceval field_unloc_to_yojson : field_unloc -> Yojson.Safe.t

Source

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

Sourceval field_to_yojson : field -> Yojson.Safe.t

Source

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

Sourceval args_to_yojson : args -> Yojson.Safe.t

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

Sourceval view_visibility_to_yojson : view_visibility -> Yojson.Safe.t

Source

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

Sourceval s_function_to_yojson : s_function -> Yojson.Safe.t

Source

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

Sourceval entry_properties_to_yojson : entry_properties -> Yojson.Safe.t

Source

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

Sourceval transition_to_yojson : transition -> Yojson.Safe.t

Source

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

Sourceval parameter_to_yojson : parameter -> Yojson.Safe.t

Source

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

Sourceval parameters_to_yojson : parameters -> Yojson.Safe.t

Source

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

Sourceval metadata_to_yojson : metadata -> Yojson.Safe.t

Source

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

Sourceval variable_kind_to_yojson : variable_kind -> Yojson.Safe.t

Source

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

Sourceval enum_kind_to_yojson : enum_kind -> Yojson.Safe.t

Source

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

Sourceval declaration_unloc_to_yojson : declaration_unloc -> Yojson.Safe.t

Source

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

Sourceval variable_decl_to_yojson : variable_decl -> Yojson.Safe.t

Source

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

Sourceval enum_decl_to_yojson : enum_decl -> Yojson.Safe.t

Source

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

Sourceval asset_decl_to_yojson : asset_decl -> Yojson.Safe.t

Source

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

Sourceval record_decl_to_yojson : record_decl -> Yojson.Safe.t

Source

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

Sourceval entry_decl_to_yojson : entry_decl -> Yojson.Safe.t

Source

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

Sourceval getter_decl_to_yojson : getter_decl -> Yojson.Safe.t

Source

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

Sourceval transition_decl_to_yojson : transition_decl -> Yojson.Safe.t

Source

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

Sourceval namespace_decl_to_yojson : namespace_decl -> Yojson.Safe.t

Source

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

Sourceval map_kind_to_yojson : map_kind -> Yojson.Safe.t

Source

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

Sourceval asset_option_to_yojson : asset_option -> Yojson.Safe.t

Source

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

Sourceval init_asset_to_yojson : init_asset -> Yojson.Safe.t

Source

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

Sourceval asset_post_option_to_yojson : asset_post_option -> Yojson.Safe.t

Source

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

Sourceval enum_option_to_yojson : enum_option -> Yojson.Safe.t

Source

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

Sourceval declaration_to_yojson : declaration -> Yojson.Safe.t

Source

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

Sourceval asset_operation_enum_to_yojson : asset_operation_enum -> Yojson.Safe.t

Source

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

Sourceval asset_operation_to_yojson : asset_operation -> Yojson.Safe.t

Source

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

Sourceval archetype_unloc_to_yojson : archetype_unloc -> Yojson.Safe.t

Source

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

Sourceval archetype_to_yojson : archetype -> Yojson.Safe.t

Source

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

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

Source

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

Source

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

Source

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

Source

val pp_for_ident_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  for_ident_unloc ->
  Ppx_deriving_runtime.unit

Source

val pp_for_ident : 
  Ppx_deriving_runtime.Format.formatter ->
  for_ident ->
  Ppx_deriving_runtime.unit

Source

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

Source

val pp_micheline_t : 
  Ppx_deriving_runtime.Format.formatter ->
  micheline_t ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pp_literal : 
  Ppx_deriving_runtime.Format.formatter ->
  literal ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pp_view_visibility : 
  Ppx_deriving_runtime.Format.formatter ->
  view_visibility ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pp_variable_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  variable_kind ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pp_map_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  map_kind ->
  Ppx_deriving_runtime.unit

Source

val pp_asset_option : 
  Ppx_deriving_runtime.Format.formatter ->
  asset_option ->
  Ppx_deriving_runtime.unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval show_pattern_unloc : pattern_unloc -> Ppx_deriving_runtime.string

Sourceval show_pname : pname -> Ppx_deriving_runtime.string

Sourceval show_pattern : pattern -> Ppx_deriving_runtime.string

Sourceval show_for_ident_unloc : for_ident_unloc -> Ppx_deriving_runtime.string

Sourceval show_for_ident : for_ident -> Ppx_deriving_runtime.string

Sourceval show_transfer_t : transfer_t -> Ppx_deriving_runtime.string

Sourceval show_micheline_t : micheline_t -> Ppx_deriving_runtime.string

Sourceval show_method_kind : method_kind -> Ppx_deriving_runtime.string

Sourceval show_match_kind : match_kind -> Ppx_deriving_runtime.string

Sourceval show_var_decl_kind : var_decl_kind -> Ppx_deriving_runtime.string

Sourceval show_expr_unloc : expr_unloc -> Ppx_deriving_runtime.string

Sourceval show_branch : branch -> Ppx_deriving_runtime.string

Sourceval show_scope : scope -> Ppx_deriving_runtime.string

Sourceval show_option_ : option_ -> Ppx_deriving_runtime.string

Sourceval show_or_ : or_ -> Ppx_deriving_runtime.string

Sourceval show_function_ : function_ -> Ppx_deriving_runtime.string

Sourceval show_literal : literal -> Ppx_deriving_runtime.string

Sourceval show_record_item : record_item -> Ppx_deriving_runtime.string

Sourceval show_expr : expr -> Ppx_deriving_runtime.string

Sourceval show_lident_typ : lident_typ -> Ppx_deriving_runtime.string

Sourceval show_field_unloc : field_unloc -> Ppx_deriving_runtime.string

Sourceval show_field : field -> Ppx_deriving_runtime.string

Sourceval show_args : args -> Ppx_deriving_runtime.string

Sourceval show_view_visibility : view_visibility -> Ppx_deriving_runtime.string

Sourceval show_s_function : s_function -> Ppx_deriving_runtime.string

Sourceval show_entry_properties : entry_properties -> Ppx_deriving_runtime.string

Sourceval show_transition : transition -> Ppx_deriving_runtime.string

Sourceval show_parameter : parameter -> Ppx_deriving_runtime.string

Sourceval show_parameters : parameters -> Ppx_deriving_runtime.string

Sourceval show_metadata : metadata -> Ppx_deriving_runtime.string

Sourceval show_variable_kind : variable_kind -> Ppx_deriving_runtime.string

Sourceval show_enum_kind : enum_kind -> Ppx_deriving_runtime.string

Sourceval show_declaration_unloc : declaration_unloc -> Ppx_deriving_runtime.string

Sourceval show_variable_decl : variable_decl -> Ppx_deriving_runtime.string

Sourceval show_enum_decl : enum_decl -> Ppx_deriving_runtime.string

Sourceval show_asset_decl : asset_decl -> Ppx_deriving_runtime.string

Sourceval show_record_decl : record_decl -> Ppx_deriving_runtime.string

Sourceval show_entry_decl : entry_decl -> Ppx_deriving_runtime.string

Sourceval show_getter_decl : getter_decl -> Ppx_deriving_runtime.string

Sourceval show_transition_decl : transition_decl -> Ppx_deriving_runtime.string

Sourceval show_namespace_decl : namespace_decl -> Ppx_deriving_runtime.string

Sourceval show_map_kind : map_kind -> Ppx_deriving_runtime.string

Sourceval show_asset_option : asset_option -> Ppx_deriving_runtime.string

Sourceval show_init_asset : init_asset -> Ppx_deriving_runtime.string

Sourceval show_asset_post_option : asset_post_option -> Ppx_deriving_runtime.string

Sourceval show_enum_option : enum_option -> Ppx_deriving_runtime.string

Sourceval show_declaration : declaration -> Ppx_deriving_runtime.string

Source

val show_asset_operation_enum : 
  asset_operation_enum ->
  Ppx_deriving_runtime.string

Sourceval show_asset_operation : asset_operation -> Ppx_deriving_runtime.string

Sourceval show_archetype_unloc : archetype_unloc -> Ppx_deriving_runtime.string

Sourceval show_archetype : archetype -> Ppx_deriving_runtime.string

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

Sourceval tunit : type_t

Sourceval tstring : type_t

Sourceval tnat : type_t

Sourceval tint : type_t

Sourceval trational : type_t

Sourceval tbool : type_t

Sourceval trole : type_t

Sourceval taddress : type_t

Sourceval tdate : type_t

Sourceval ttez : type_t

Sourceval tduration : type_t

Sourceval tsignature : type_t

Sourceval tkey : type_t

Sourceval tkey_hash : type_t

Sourceval tbytes : type_t

Sourceval tchain_id : type_t

Sourceval toperation : type_t

Sourceval tbls12_381_fr : type_t

Sourceval tbls12_381_g1 : type_t

Sourceval tbls12_381_g2 : type_t

Sourceval tnever : type_t

Sourceval tchest : type_t

Sourceval tchest_key : type_t

Source

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

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

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

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

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

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

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

Source

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

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

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

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

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

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

Source

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

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

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

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

Sourceval ebtz : string -> expr_unloc Location.loced

Sourceval etrue : expr_unloc Location.loced

Sourceval efalse : expr_unloc Location.loced

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

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

Sourceval edecimal : string -> expr_unloc Location.loced

Sourceval etz : string -> expr_unloc Location.loced

Sourceval emtz : string -> expr_unloc Location.loced

Sourceval eutz : string -> expr_unloc Location.loced

Sourceval eaddress : string -> expr_unloc Location.loced

Sourceval estring : string -> expr_unloc Location.loced

Sourceval ebool : bool -> expr_unloc Location.loced

Sourceval eduration : string -> expr_unloc Location.loced

Sourceval edate : string -> expr_unloc Location.loced

Sourceval ebytes : string -> expr_unloc Location.loced

Sourceval epercent : string -> expr_unloc Location.loced

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

Sourceval ebytesFr : string -> expr_unloc Location.loced

Sourceval ebytesG1 : string -> expr_unloc Location.loced

Sourceval ebytesG2 : string -> expr_unloc Location.loced

Source

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

Source

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

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

Source

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

Source

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

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

Source

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

Source

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

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

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

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

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

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

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

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

Source

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

Source

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

Source

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

Source

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

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

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

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

Source

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

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

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

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

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

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

Source

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

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

Source

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

Source

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

Source

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

Source

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

Sourceval mk_enum_decl : enum_decl -> enum_decl

Source

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

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

Source

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

Source

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

Source

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

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

Sourceval mk_asset_option_identifiedby : lident list -> asset_option

Sourceval mk_asset_option_sortedby : lident -> asset_option

Sourceval mk_asset_option_to_map_kind : map_kind -> asset_option

Sourceval mk_asset_post_option_init : init_asset -> asset_post_option

Sourceval mk_enum_option_initial : 'a -> enum_option

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

Sourceval cst_now : string

Sourceval cst_transferred : string

Sourceval cst_caller : string

Sourceval cst_balance : string

Sourceval cst_source : string

Sourceval cst_self_address : string

Sourceval cst_self_chain_id : string

Sourceval cst_metadata : string

Sourceval cst_level : string

Sourceval cst_min_block_time : string

Sourceval get_name : declaration_unloc -> Ident.ident

package archetype

Module Archetype.ParseTreeSource

Module `Archetype.ParseTree`Source