Module `Archetype.ParseTree`Source

Sourcetype lident = Ident.ident Location.loced

Sourceand scope_import =

| SINone
| SIParent
| SIId of lident

Sourceand container =

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

Sourceand type_r =

| Tref of lident
| Trefscope of lident option * 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
| Imply
| Equiv

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

| Forall
| Exists

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 scope_import_to_yojson : scope_import -> Yojson.Safe.t

Source

val scope_import_of_yojson : 
  Yojson.Safe.t ->
  scope_import 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 quantifier_to_yojson : quantifier -> Yojson.Safe.t

Source

val quantifier_of_yojson : 
  Yojson.Safe.t ->
  quantifier 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_scope_import : 
  Ppx_deriving_runtime.Format.formatter ->
  scope_import ->
  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_quantifier : 
  Ppx_deriving_runtime.Format.formatter ->
  quantifier ->
  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_scope_import : scope_import -> 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_quantifier : quantifier -> 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 var_label =

| VLBefore
| VLIdent of lident

Sourceand var_vset =

| VSAdded
| VSUnmoved
| VSRemoved

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

| Eterm of scope_import * var_vset option * var_label option * lident
| Eliteral of literal
| Earray of scope_import * expr list
| Erecord of scope_import * record_item list
| Etuple of expr list
| Edot of expr * lident
| Equestiondot of expr * 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 expr * lident * expr list
| Etransfer of transfer_t
| Edorequire of expr * expr
| Edofailif of expr * expr
| Efail of expr
| Efailsome of expr
| Eassign of assignment_operator * expr * expr
| Eassignopt of expr * expr * expr
| Eif of expr * expr * expr option
| Efor of lident option * for_ident * expr * expr
| Eiter of lident option * lident * expr option * expr * expr
| Ewhile of lident option * expr * expr
| Eseq of expr * expr
| Eletin of lident * type_t option * expr * expr * expr option
| Evar of lident * type_t option * expr * bool
| Evaropt of lident * type_t option * expr * expr option * bool
| Ematchwith of expr * branch list
| Efold of expr * lident * expr
| Emap of expr * lident * expr
| Erecupdate of expr * (lident * expr) list
| Equantifier of quantifier * lident * quantifier_kind * expr
| Eassert of lident
| Elabel of lident
| Ereturn of expr
| Eoption of option_
| Eor of or_
| Elambda of type_t option * lident * type_t option * expr
| 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
| Einvalid

Sourceand branch = pattern list * expr

Sourceand scope =

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

Sourceand quantifier_kind =

| Qcollection of expr
| Qtype of type_t

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

Sourceand record_item = (assignment_operator * lident) option * expr

Sourceand expr = expr_unloc Location.loced

Sourceand lident_typ = lident * type_t * extension list option

Sourceand label_expr = (lident * expr) Location.loced

Sourceand label_exprs = label_expr list

Sourceand extension_unloc =

| Eextension of lident * expr list
(*
extension
*)

Sourceand extension = extension_unloc Location.loced

Sourceand exts = extension list option

Sourceand field_unloc =

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

Sourceand field = field_unloc Location.loced

Sourceand args = lident_typ list

Sourceand invariants = (lident * expr list) list

Sourceand specification_item_unloc =

| Vpredicate of lident * args * expr
| Vdefinition of lident * type_t * lident * expr
| Vvariable of lident * type_t * expr option
| Veffect of expr
| Vassert of lident * expr * invariants * lident list
| Vfails of (lident * lident option * lident * type_t * expr) list
| Vpostcondition of lident * expr * invariants * lident list * postkind option

Sourceand postkind =

| PKPost
| PKInv

Sourceand specification_item = specification_item_unloc Location.loced

Sourceand specification_unloc = specification_item list * exts

Sourceand specification = specification_unloc Location.loced

Sourceand security_arg_unloc =

| Sident of lident
| Sdot of lident * lident
| Slist of security_arg list
| Sapp of lident * security_arg list
| Sbut of lident * security_arg
| Sto of lident * security_arg

Sourceand security_arg = security_arg_unloc Location.loced

Sourceand security_item_unloc = lident * lident * security_arg list

Sourceand security_item = security_item_unloc Location.loced

Sourceand security_unloc = security_item list * exts

Sourceand security = security_unloc Location.loced

Sourceand view_visibility =

| VVonchain
| VVoffchain
| VVonoffchain
| VVnone

Sourceand s_function = {

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

}

Sourceand entry_properties = {

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

}

Sourceand transition = (lident * (expr * exts) option * (expr * exts) 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 * exts
| Dimport of lident * lident
| Dvariable of variable_decl
| Denum of enum_kind * enum_decl
| Dasset of asset_decl
| Drecord of record_decl
| Dentry of entry_decl
| Dtransition of transition_decl
| Dextension of extension_decl
| Dnamespace of namespace_decl
| Dfunction of s_function
| Dspecification of specification
| Dspecasset of lident * label_exprs
| Dspecfun of specfun
| Dspecvariable of lident * label_exprs
| Dsecurity of security
| Dtype of lident * type_t
| Devent of record_decl
| Dinvalid

Sourceand specfun_kind =

| SKentry
| SKfunction
| SKgetter
| SKview

Sourceand specfun = specfun_kind * lident * args * specification

Source

and variable_decl =
  lident * type_t * expr option * variable_kind * label_exprs * exts

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

Source

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

Sourceand record_decl = lident * field list * expr option * exts

Sourceand entry_decl = lident * args * entry_properties * (expr * exts) option * exts

Source

and transition_decl =
  lident
  * args
  * (lident * type_t) option
  * expr
  * entry_properties
  * transition
  * exts

Sourceand extension_decl = lident * expr list

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

| APOstates of lident
| APOconstraints of label_exprs
| APOinit of expr list

Sourceand enum_option =

| EOinitial
| EOspecification of label_exprs

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 =

| Marchetype of declaration list
| Mextension of lident * declaration list * 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 var_label_to_yojson : var_label -> Yojson.Safe.t

Source

val var_label_of_yojson : 
  Yojson.Safe.t ->
  var_label Ppx_deriving_yojson_runtime.error_or

Sourceval var_vset_to_yojson : var_vset -> Yojson.Safe.t

Source

val var_vset_of_yojson : 
  Yojson.Safe.t ->
  var_vset 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 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 quantifier_kind_to_yojson : quantifier_kind -> Yojson.Safe.t

Source

val quantifier_kind_of_yojson : 
  Yojson.Safe.t ->
  quantifier_kind 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 label_expr_to_yojson : label_expr -> Yojson.Safe.t

Source

val label_expr_of_yojson : 
  Yojson.Safe.t ->
  label_expr Ppx_deriving_yojson_runtime.error_or

Sourceval label_exprs_to_yojson : label_exprs -> Yojson.Safe.t

Source

val label_exprs_of_yojson : 
  Yojson.Safe.t ->
  label_exprs Ppx_deriving_yojson_runtime.error_or

Sourceval extension_unloc_to_yojson : extension_unloc -> Yojson.Safe.t

Source

val extension_unloc_of_yojson : 
  Yojson.Safe.t ->
  extension_unloc Ppx_deriving_yojson_runtime.error_or

Sourceval extension_to_yojson : extension -> Yojson.Safe.t

Source

val extension_of_yojson : 
  Yojson.Safe.t ->
  extension Ppx_deriving_yojson_runtime.error_or

Sourceval exts_to_yojson : exts -> Yojson.Safe.t

Sourceval exts_of_yojson : Yojson.Safe.t -> exts 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 invariants_to_yojson : invariants -> Yojson.Safe.t

Source

val invariants_of_yojson : 
  Yojson.Safe.t ->
  invariants Ppx_deriving_yojson_runtime.error_or

Source

val specification_item_unloc_to_yojson : 
  specification_item_unloc ->
  Yojson.Safe.t

Source

val specification_item_unloc_of_yojson : 
  Yojson.Safe.t ->
  specification_item_unloc Ppx_deriving_yojson_runtime.error_or

Sourceval postkind_to_yojson : postkind -> Yojson.Safe.t

Source

val postkind_of_yojson : 
  Yojson.Safe.t ->
  postkind Ppx_deriving_yojson_runtime.error_or

Sourceval specification_item_to_yojson : specification_item -> Yojson.Safe.t

Source

val specification_item_of_yojson : 
  Yojson.Safe.t ->
  specification_item Ppx_deriving_yojson_runtime.error_or

Sourceval specification_unloc_to_yojson : specification_unloc -> Yojson.Safe.t

Source

val specification_unloc_of_yojson : 
  Yojson.Safe.t ->
  specification_unloc Ppx_deriving_yojson_runtime.error_or

Sourceval specification_to_yojson : specification -> Yojson.Safe.t

Source

val specification_of_yojson : 
  Yojson.Safe.t ->
  specification Ppx_deriving_yojson_runtime.error_or

Sourceval security_arg_unloc_to_yojson : security_arg_unloc -> Yojson.Safe.t

Source

val security_arg_unloc_of_yojson : 
  Yojson.Safe.t ->
  security_arg_unloc Ppx_deriving_yojson_runtime.error_or

Sourceval security_arg_to_yojson : security_arg -> Yojson.Safe.t

Source

val security_arg_of_yojson : 
  Yojson.Safe.t ->
  security_arg Ppx_deriving_yojson_runtime.error_or

Sourceval security_item_unloc_to_yojson : security_item_unloc -> Yojson.Safe.t

Source

val security_item_unloc_of_yojson : 
  Yojson.Safe.t ->
  security_item_unloc Ppx_deriving_yojson_runtime.error_or

Sourceval security_item_to_yojson : security_item -> Yojson.Safe.t

Source

val security_item_of_yojson : 
  Yojson.Safe.t ->
  security_item Ppx_deriving_yojson_runtime.error_or

Sourceval security_unloc_to_yojson : security_unloc -> Yojson.Safe.t

Source

val security_unloc_of_yojson : 
  Yojson.Safe.t ->
  security_unloc Ppx_deriving_yojson_runtime.error_or

Sourceval security_to_yojson : security -> Yojson.Safe.t

Source

val security_of_yojson : 
  Yojson.Safe.t ->
  security 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 specfun_kind_to_yojson : specfun_kind -> Yojson.Safe.t

Source

val specfun_kind_of_yojson : 
  Yojson.Safe.t ->
  specfun_kind Ppx_deriving_yojson_runtime.error_or

Sourceval specfun_to_yojson : specfun -> Yojson.Safe.t

Source

val specfun_of_yojson : 
  Yojson.Safe.t ->
  specfun 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 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 extension_decl_to_yojson : extension_decl -> Yojson.Safe.t

Source

val extension_decl_of_yojson : 
  Yojson.Safe.t ->
  extension_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 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_var_label : 
  Ppx_deriving_runtime.Format.formatter ->
  var_label ->
  Ppx_deriving_runtime.unit

Source

val pp_var_vset : 
  Ppx_deriving_runtime.Format.formatter ->
  var_vset ->
  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_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_quantifier_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  quantifier_kind ->
  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_label_expr : 
  Ppx_deriving_runtime.Format.formatter ->
  label_expr ->
  Ppx_deriving_runtime.unit

Source

val pp_label_exprs : 
  Ppx_deriving_runtime.Format.formatter ->
  label_exprs ->
  Ppx_deriving_runtime.unit

Source

val pp_extension_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  extension_unloc ->
  Ppx_deriving_runtime.unit

Source

val pp_extension : 
  Ppx_deriving_runtime.Format.formatter ->
  extension ->
  Ppx_deriving_runtime.unit

Source

val pp_exts : 
  Ppx_deriving_runtime.Format.formatter ->
  exts ->
  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_invariants : 
  Ppx_deriving_runtime.Format.formatter ->
  invariants ->
  Ppx_deriving_runtime.unit

Source

val pp_specification_item_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  specification_item_unloc ->
  Ppx_deriving_runtime.unit

Source

val pp_postkind : 
  Ppx_deriving_runtime.Format.formatter ->
  postkind ->
  Ppx_deriving_runtime.unit

Source

val pp_specification_item : 
  Ppx_deriving_runtime.Format.formatter ->
  specification_item ->
  Ppx_deriving_runtime.unit

Source

val pp_specification_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  specification_unloc ->
  Ppx_deriving_runtime.unit

Source

val pp_specification : 
  Ppx_deriving_runtime.Format.formatter ->
  specification ->
  Ppx_deriving_runtime.unit

Source

val pp_security_arg_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  security_arg_unloc ->
  Ppx_deriving_runtime.unit

Source

val pp_security_arg : 
  Ppx_deriving_runtime.Format.formatter ->
  security_arg ->
  Ppx_deriving_runtime.unit

Source

val pp_security_item_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  security_item_unloc ->
  Ppx_deriving_runtime.unit

Source

val pp_security_item : 
  Ppx_deriving_runtime.Format.formatter ->
  security_item ->
  Ppx_deriving_runtime.unit

Source

val pp_security_unloc : 
  Ppx_deriving_runtime.Format.formatter ->
  security_unloc ->
  Ppx_deriving_runtime.unit

Source

val pp_security : 
  Ppx_deriving_runtime.Format.formatter ->
  security ->
  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_specfun_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  specfun_kind ->
  Ppx_deriving_runtime.unit

Source

val pp_specfun : 
  Ppx_deriving_runtime.Format.formatter ->
  specfun ->
  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_transition_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  transition_decl ->
  Ppx_deriving_runtime.unit

Source

val pp_extension_decl : 
  Ppx_deriving_runtime.Format.formatter ->
  extension_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_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_var_label : var_label -> Ppx_deriving_runtime.string

Sourceval show_var_vset : var_vset -> 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_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_quantifier_kind : quantifier_kind -> 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_label_expr : label_expr -> Ppx_deriving_runtime.string

Sourceval show_label_exprs : label_exprs -> Ppx_deriving_runtime.string

Sourceval show_extension_unloc : extension_unloc -> Ppx_deriving_runtime.string

Sourceval show_extension : extension -> Ppx_deriving_runtime.string

Sourceval show_exts : exts -> 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_invariants : invariants -> Ppx_deriving_runtime.string

Source

val show_specification_item_unloc : 
  specification_item_unloc ->
  Ppx_deriving_runtime.string

Sourceval show_postkind : postkind -> Ppx_deriving_runtime.string

Sourceval show_specification_item : specification_item -> Ppx_deriving_runtime.string

Source

val show_specification_unloc : 
  specification_unloc ->
  Ppx_deriving_runtime.string

Sourceval show_specification : specification -> Ppx_deriving_runtime.string

Sourceval show_security_arg_unloc : security_arg_unloc -> Ppx_deriving_runtime.string

Sourceval show_security_arg : security_arg -> Ppx_deriving_runtime.string

Source

val show_security_item_unloc : 
  security_item_unloc ->
  Ppx_deriving_runtime.string

Sourceval show_security_item : security_item -> Ppx_deriving_runtime.string

Sourceval show_security_unloc : security_unloc -> Ppx_deriving_runtime.string

Sourceval show_security : security -> 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_specfun_kind : specfun_kind -> Ppx_deriving_runtime.string

Sourceval show_specfun : specfun -> 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_transition_decl : transition_decl -> Ppx_deriving_runtime.string

Sourceval show_extension_decl : extension_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_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_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 eint : int -> expr_unloc Location.loced

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

Sourceval enat : int -> expr_unloc Location.loced

Sourceval ebtz : string -> expr_unloc Location.loced

Sourceval emtz : string -> expr_unloc Location.loced

Sourceval eutz : string -> expr_unloc Location.loced

Sourceval epercent : string -> expr_unloc Location.loced

Sourceval etrue : expr_unloc Location.loced

Sourceval efalse : expr_unloc Location.loced

Sourceval edecimal : string -> expr_unloc Location.loced

Sourceval eaddress : string -> expr_unloc Location.loced

Sourceval estring : string -> 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

Source

val eterm : 
  ?loc:Location.t ->
  ?s:scope_import ->
  ?temp:var_label ->
  ?delta:var_vset ->
  lident ->
  expr_unloc Location.loced

Source

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

Source

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

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

Sourceval edot : ?loc:Location.t -> expr -> 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 emethod : 
  ?loc:Location.t ->
  expr ->
  lident ->
  expr list ->
  expr_unloc Location.loced

Sourceval etransfer : ?loc:Location.t -> transfer_t -> 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

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 ->
  ?lbl:lident ->
  for_ident ->
  expr ->
  expr ->
  expr_unloc Location.loced

Source

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

Source

val ewhile : 
  ?loc:Location.t ->
  ?lbl:lident ->
  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 ->
  expr ->
  bool ->
  expr_unloc Location.loced

Source

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

Source

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

Source

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

Source

val equantifier : 
  ?loc:Location.t ->
  quantifier ->
  lident ->
  quantifier_kind ->
  expr ->
  expr_unloc Location.loced

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

Sourceval elabel : ?loc:Location.t -> lident -> 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 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 eentrypoint : 
  ?loc:Location.t ->
  type_t ->
  expr ->
  expr ->
  expr option ->
  expr_unloc Location.loced

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

Sourceval eself : ?loc:Location.t -> lident -> 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 einvalid : ?loc:Location.t -> 'a -> expr_unloc Location.loced

Source

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

Source

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

Source

val mk_transition_item : 
  lident ->
  (expr * exts) option ->
  (expr * exts) option ->
  lident * (expr * exts) option * (expr * exts) option

Source

val mk_variable_decl : 
  ?dv:expr ->
  ?le:label_exprs ->
  ?exts:extension list ->
  lident ->
  type_t ->
  variable_kind ->
  variable_decl

Source

val mk_enum_decl : 
  ?exts:extension list ->
  (lident * type_t list * enum_option list) list ->
  enum_decl

Source

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

Source

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

Source

val mk_entry_decl : 
  ?args:args ->
  ?body:(expr * exts) ->
  ?exts:extension list ->
  lident ->
  entry_properties ->
  entry_decl

Source

val mk_transition_decl : 
  ?args:args ->
  ?te:(lident * type_t) ->
  ?trs:transition ->
  ?exts:extension list ->
  lident ->
  expr ->
  entry_properties ->
  transition_decl

Sourceval mk_extension_decl : ?es:expr list -> lident -> extension_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_states : lident -> asset_post_option

Sourceval mk_asset_post_option_constraints : label_exprs -> asset_post_option

Sourceval mk_asset_post_option_init : expr list -> asset_post_option

Sourceval mk_enum_option_initial : 'a -> enum_option

Sourceval mk_enum_option_specification : label_exprs -> 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 ->
  ?exts:extension list ->
  ?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_entry : 
  ?loc:Location.t ->
  entry_decl ->
  declaration_unloc Location.loced

Source

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

Source

val mk_extension : 
  ?loc:Location.t ->
  extension_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_specification : 
  ?loc:Location.t ->
  specification ->
  declaration_unloc Location.loced

Source

val mk_specasset : 
  ?loc:Location.t ->
  lident ->
  label_exprs ->
  declaration_unloc Location.loced

Source

val mk_specfun : 
  ?loc:Location.t ->
  specfun_kind ->
  lident ->
  args ->
  specification ->
  declaration_unloc Location.loced

Source

val mk_specvariable : 
  ?loc:Location.t ->
  lident ->
  label_exprs ->
  declaration_unloc Location.loced

Source

val mk_security : 
  ?loc:Location.t ->
  security ->
  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:declaration list ->
  ?loc:Location.t ->
  unit ->
  archetype_unloc Location.loced

Sourceval cst_now : string

Sourceval cst_transferred : string

Sourceval cst_caller : string

Sourceval cst_balance : string

Sourceval cst_source : string

Sourceval cst_selfaddress : string

Sourceval cst_chainid : string

Sourceval cst_metadata : string

Sourceval cst_level : string

Sourceval get_name : declaration_unloc -> Ident.ident

package archetype

Module Archetype.ParseTreeSource

Module `Archetype.ParseTree`Source