package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a with_annot = {
  1. node : 'a;
  2. annotation : Ident.ident option;
}
val pp_with_annot : 'a. (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'a with_annot -> Ppx_deriving_runtime.unit
val show_with_annot : 'a. (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> 'a with_annot -> Ppx_deriving_runtime.string
type prim = {
  1. prim : Ident.ident;
  2. args : obj_micheline list;
  3. annots : Ident.ident list;
}
and obj_micheline =
  1. | Oprim of prim
  2. | Ostring of string
  3. | Obytes of string
  4. | Oint of string
  5. | Oarray of obj_micheline list
  6. | Ovar of obj_micheline_var
and obj_micheline_var =
  1. | OMVfree of Ident.ident
  2. | OMVint of Ident.ident * bool
  3. | OMVstring of Ident.ident
  4. | OMVbytes of Ident.ident
  5. | OMVif of Ident.ident * obj_micheline * obj_micheline
val prim_to_yojson : prim -> Yojson.Safe.t
val prim_of_yojson : Yojson.Safe.t -> prim Ppx_deriving_yojson_runtime.error_or
val obj_micheline_to_yojson : obj_micheline -> Yojson.Safe.t
val obj_micheline_of_yojson : Yojson.Safe.t -> obj_micheline Ppx_deriving_yojson_runtime.error_or
val obj_micheline_var_to_yojson : obj_micheline_var -> Yojson.Safe.t
val obj_micheline_var_of_yojson : Yojson.Safe.t -> obj_micheline_var Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> obj_micheline_var Ppx_deriving_yojson_runtime.error_or
val pp_prim : Ppx_deriving_runtime.Format.formatter -> prim -> Ppx_deriving_runtime.unit
val pp_obj_micheline : Ppx_deriving_runtime.Format.formatter -> obj_micheline -> Ppx_deriving_runtime.unit
val show_obj_micheline : obj_micheline -> Ppx_deriving_runtime.string
val pp_obj_micheline_var : Ppx_deriving_runtime.Format.formatter -> obj_micheline_var -> Ppx_deriving_runtime.unit
val show_obj_micheline_var : obj_micheline_var -> Ppx_deriving_runtime.string
type type_node =
  1. | Taddress
  2. | Tbig_map of type_ * type_
  3. | Tbool
  4. | Tbytes
  5. | Tchain_id
  6. | Tcontract of type_
  7. | Tint
  8. | Tkey
  9. | Tkey_hash
  10. | Tlambda of type_ * type_
  11. | Tlist of type_
  12. | Tmap of type_ * type_
  13. | Tmutez
  14. | Tnat
  15. | Toperation
  16. | Toption of type_
  17. | Tor of type_ * type_
  18. | Tpair of type_ list
  19. | Tset of type_
  20. | Tsignature
  21. | Tstring
  22. | Ttimestamp
  23. | Tunit
  24. | Tticket of type_
  25. | Tsapling_state of int
  26. | Tsapling_transaction of int
  27. | Tbls12_381_fr
  28. | Tbls12_381_g1
  29. | Tbls12_381_g2
  30. | Tnever
  31. | Tchest
  32. | Tchest_key
  33. | Ttx_rollup_l2_address
and type_ = type_node with_annot
val pp_type_node : Ppx_deriving_runtime.Format.formatter -> type_node -> Ppx_deriving_runtime.unit
val show_type_node : type_node -> Ppx_deriving_runtime.string
val pp_type_ : Ppx_deriving_runtime.Format.formatter -> type_ -> Ppx_deriving_runtime.unit
val show_type_ : type_ -> Ppx_deriving_runtime.string
type data =
  1. | Dint of Core.big_int
  2. | Dstring of string
  3. | Dbytes of string
  4. | Dunit
  5. | Dtrue
  6. | Dfalse
  7. | Dpair of data list
  8. | Dleft of data
  9. | Dright of data
  10. | Dsome of data
  11. | Dnone
  12. | Dlist of data list
  13. | Delt of data * data
  14. | Dvar of Ident.ident * type_ * bool
  15. | DIrCode of Ident.ident * instruction
  16. | Dcode of code
  17. | Dlambda_rec of code
and code_node =
  1. | SEQ of code list
  2. | APPLY
  3. | EXEC
  4. | FAILWITH
  5. | IF of code list * code list
  6. | IF_CONS of code list * code list
  7. | IF_LEFT of code list * code list
  8. | IF_NONE of code list * code list
  9. | ITER of code list
  10. | LAMBDA of type_ * type_ * code list
  11. | LOOP of code list
  12. | LOOP_LEFT of code list
  13. | DIG of int
  14. | DIP of int * code list
  15. | DROP of int
  16. | DUG of int
  17. | DUP
  18. | DUP_N of int
  19. | PUSH of type_ * data
  20. | SWAP
  21. | ABS
  22. | ADD
  23. | COMPARE
  24. | EDIV
  25. | EQ
  26. | GE
  27. | GT
  28. | INT
  29. | ISNAT
  30. | LE
  31. | LSL
  32. | LSR
  33. | LT
  34. | MUL
  35. | NEG
  36. | NEQ
  37. | SUB
  38. | SUB_MUTEZ
  39. | AND
  40. | NOT
  41. | OR
  42. | XOR
  43. | BLAKE2B
  44. | CHECK_SIGNATURE
  45. | HASH_KEY
  46. | KECCAK
  47. | PAIRING_CHECK
  48. | SAPLING_EMPTY_STATE of int
  49. | SAPLING_VERIFY_UPDATE
  50. | SHA256
  51. | SHA512
  52. | SHA3
  53. | ADDRESS
  54. | AMOUNT
  55. | BALANCE
  56. | CHAIN_ID
  57. | CONTRACT of type_ * Ident.ident option
  58. | CREATE_CONTRACT of obj_micheline
  59. | EMIT of type_ * Ident.ident option
  60. | IMPLICIT_ACCOUNT
  61. | LEVEL
  62. | MIN_BLOCK_TIME
  63. | NOW
  64. | SELF of Ident.ident option
  65. | SELF_ADDRESS
  66. | SENDER
  67. | SET_DELEGATE
  68. | SOURCE
  69. | TOTAL_VOTING_POWER
  70. | TRANSFER_TOKENS
  71. | VOTING_POWER
  72. | CAR
  73. | CDR
  74. | CONCAT
  75. | CONS
  76. | EMPTY_BIG_MAP of type_ * type_
  77. | EMPTY_MAP of type_ * type_
  78. | EMPTY_SET of type_
  79. | GET
  80. | GET_N of int
  81. | GET_AND_UPDATE
  82. | LEFT of type_
  83. | MAP of code list
  84. | MEM
  85. | NEVER
  86. | NIL of type_
  87. | NONE of type_
  88. | PACK
  89. | PAIR
  90. | PAIR_N of int
  91. | RIGHT of type_
  92. | SIZE
  93. | SLICE
  94. | SOME
  95. | UNIT
  96. | UNPACK of type_
  97. | UNPAIR
  98. | UNPAIR_N of int
  99. | UPDATE
  100. | UPDATE_N of int
  101. | JOIN_TICKETS
  102. | READ_TICKET
  103. | SPLIT_TICKET
  104. | TICKET
  105. | CAST of type_
  106. | RENAME
  107. | VIEW of Ident.ident * type_
  108. | OPEN_CHEST
  109. | CAR_N of int
  110. | CDR_N of int
and code = {
  1. node : code_node;
  2. type_ : type_ list option Stdlib.ref;
}
and z_operator =
  1. | Znow
  2. | Zamount
  3. | Zbalance
  4. | Zsource
  5. | Zsender
  6. | Zaddress
  7. | Zchain_id
  8. | Zself of Ident.ident option
  9. | Zself_address
  10. | Znone of type_
  11. | Zunit
  12. | Znil of type_
  13. | Zemptyset of type_
  14. | Zemptymap of type_ * type_
  15. | Zemptybigmap of type_ * type_
  16. | Ztotalvotingpower
  17. | Zlevel
  18. | Zsapling_empty_state of int
  19. | Zmin_block_time
and un_operator =
  1. | Ucar
  2. | Ucdr
  3. | Uleft of type_
  4. | Uright of type_
  5. | Uneg
  6. | Uint
  7. | Unot
  8. | Uabs
  9. | Uisnat
  10. | Usome
  11. | Usize
  12. | Upack
  13. | Uunpack of type_
  14. | Ublake2b
  15. | Usha256
  16. | Usha512
  17. | Usha3
  18. | Ukeccak
  19. | Uhash_key
  20. | Ufail
  21. | Ucontract of type_ * Ident.ident option
  22. | Usetdelegate
  23. | Uimplicitaccount
  24. | Ueq
  25. | Une
  26. | Ugt
  27. | Uge
  28. | Ult
  29. | Ule
  30. | Uvotingpower
  31. | Ureadticket
  32. | Ujointickets
  33. | Upairing_check
  34. | Uconcat
  35. | Uaddress
  36. | UcarN of int
  37. | UcdrN of int
  38. | UforcePair
  39. | Uemit of type_ * Ident.ident option
and bin_operator =
  1. | Badd
  2. | Bsub
  3. | Bmul
  4. | Bediv
  5. | Blsl
  6. | Blsr
  7. | Bor
  8. | Band
  9. | Bxor
  10. | Bcompare
  11. | Bget
  12. | Bmem
  13. | Bconcat
  14. | Bcons
  15. | Bpair
  16. | Bexec
  17. | Bapply
  18. | Bcreateticket
  19. | Bsplitticket
  20. | Bsapling_verify_update
  21. | Bview of Ident.ident * type_
  22. | Bsubmutez
and ter_operator =
  1. | Tcheck_signature
  2. | Tslice
  3. | Tupdate
  4. | Ttransfer_tokens
  5. | Topen_chest
  6. | Tcreate_contract of obj_micheline
and g_operator = [
  1. | `Zop of z_operator
  2. | `Uop of un_operator
  3. | `Bop of bin_operator
  4. | `Top of ter_operator
]
and cmp_operator =
  1. | Ceq
  2. | Cne
  3. | Cgt
  4. | Cge
  5. | Clt
  6. | Cle
and builtin =
  1. | Bmin of type_
  2. | Bmax of type_
  3. | Bfloor
  4. | Bceil
  5. | BlistContains of type_
  6. | BlistNth of type_
  7. | Bnattostring
  8. | Bratcmp
  9. | Bratnorm
  10. | Brataddsub
  11. | Bratdiv
  12. | Bratmul
  13. | Bratuminus
  14. | Bratabs
  15. | Brattez
  16. | Bratdur
  17. | Bmuteztonat
and instruction =
  1. | Iseq of instruction list
  2. | IletIn of Ident.ident * instruction * instruction * bool
  3. | Ivar of Ident.ident
  4. | Icall of Ident.ident * instruction list * bool
  5. | Iassign of Ident.ident * instruction
  6. | Iassigntuple of Ident.ident * int * int * instruction
  7. | Iif of instruction * instruction * instruction * type_
  8. | Iifnone of instruction * instruction * Ident.ident * instruction * type_
  9. | Iifleft of instruction * Ident.ident * instruction * Ident.ident * instruction * type_
  10. | Iifcons of instruction * Ident.ident * Ident.ident * instruction * instruction * type_
  11. | Iloop of instruction * instruction
  12. | Iiter of Ident.ident list * instruction * instruction
  13. | Iloopleft of instruction * Ident.ident * instruction
  14. | Ilambda of type_ * Ident.ident * type_ * instruction
  15. | Izop of z_operator
  16. | Iunop of un_operator * instruction
  17. | Ibinop of bin_operator * instruction * instruction
  18. | Iterop of ter_operator * instruction * instruction * instruction
  19. | Iupdate of ukind * aoperator
  20. | Iconst of type_ * data
  21. | Icompare of cmp_operator * instruction * instruction
  22. | Iset of type_ * instruction list
  23. | Ilist of type_ * instruction list
  24. | Imap of bool * type_ * type_ * (instruction * instruction) list
  25. | Irecord of ritem
  26. | Irecupdate of instruction * ruitem
  27. | Imap_ of instruction * Ident.ident * instruction
  28. | Ifold of Ident.ident * Ident.ident option * Ident.ident * instruction * instruction * instruction
  29. | Ireverse of type_ * instruction
  30. | Imichelson of instruction list * code * Ident.ident list
  31. | Iwildcard of type_ * Ident.ident
and ritem =
  1. | Rtuple of instruction list
  2. | Rnodes of ritem list
and ruitem =
  1. | RUnodes of int * (int * ruitem) list
  2. | RUassign of int * (int * instruction) list
and aoperator =
  1. | Aunop of un_operator
  2. | Abinop of bin_operator * instruction
  3. | Aterop of ter_operator * instruction * instruction
and ukind =
  1. | Uvar of Ident.ident
  2. | Urec of Ident.ident * (int * int) list
val pp_data : Ppx_deriving_runtime.Format.formatter -> data -> Ppx_deriving_runtime.unit
val pp_code_node : Ppx_deriving_runtime.Format.formatter -> code_node -> Ppx_deriving_runtime.unit
val show_code_node : code_node -> Ppx_deriving_runtime.string
val pp_code : Ppx_deriving_runtime.Format.formatter -> code -> Ppx_deriving_runtime.unit
val pp_z_operator : Ppx_deriving_runtime.Format.formatter -> z_operator -> Ppx_deriving_runtime.unit
val show_z_operator : z_operator -> Ppx_deriving_runtime.string
val pp_un_operator : Ppx_deriving_runtime.Format.formatter -> un_operator -> Ppx_deriving_runtime.unit
val show_un_operator : un_operator -> Ppx_deriving_runtime.string
val pp_bin_operator : Ppx_deriving_runtime.Format.formatter -> bin_operator -> Ppx_deriving_runtime.unit
val show_bin_operator : bin_operator -> Ppx_deriving_runtime.string
val pp_ter_operator : Ppx_deriving_runtime.Format.formatter -> ter_operator -> Ppx_deriving_runtime.unit
val show_ter_operator : ter_operator -> Ppx_deriving_runtime.string
val pp_g_operator : Ppx_deriving_runtime.Format.formatter -> g_operator -> Ppx_deriving_runtime.unit
val show_g_operator : g_operator -> Ppx_deriving_runtime.string
val pp_cmp_operator : Ppx_deriving_runtime.Format.formatter -> cmp_operator -> Ppx_deriving_runtime.unit
val show_cmp_operator : cmp_operator -> Ppx_deriving_runtime.string
val pp_builtin : Ppx_deriving_runtime.Format.formatter -> builtin -> Ppx_deriving_runtime.unit
val show_builtin : builtin -> Ppx_deriving_runtime.string
val pp_instruction : Ppx_deriving_runtime.Format.formatter -> instruction -> Ppx_deriving_runtime.unit
val show_instruction : instruction -> Ppx_deriving_runtime.string
val pp_ritem : Ppx_deriving_runtime.Format.formatter -> ritem -> Ppx_deriving_runtime.unit
val pp_ruitem : Ppx_deriving_runtime.Format.formatter -> ruitem -> Ppx_deriving_runtime.unit
val show_ruitem : ruitem -> Ppx_deriving_runtime.string
val pp_aoperator : Ppx_deriving_runtime.Format.formatter -> aoperator -> Ppx_deriving_runtime.unit
val show_aoperator : aoperator -> Ppx_deriving_runtime.string
val pp_ukind : Ppx_deriving_runtime.Format.formatter -> ukind -> Ppx_deriving_runtime.unit
type implem =
  1. | Concrete of (Ident.ident * type_) list * instruction
  2. | Abstract of builtin
val pp_implem : Ppx_deriving_runtime.Format.formatter -> implem -> Ppx_deriving_runtime.unit
val show_implem : implem -> Ppx_deriving_runtime.string
type ctx_func = {
  1. args : (Ident.ident * type_) list;
  2. stovars : Ident.ident list;
}
val pp_ctx_func : Ppx_deriving_runtime.Format.formatter -> ctx_func -> Ppx_deriving_runtime.unit
val show_ctx_func : ctx_func -> Ppx_deriving_runtime.string
type func = {
  1. name : Ident.ident;
  2. targ : type_;
  3. tret : type_;
  4. ctx : ctx_func;
  5. body : implem;
}
val pp_func : Ppx_deriving_runtime.Format.formatter -> func -> Ppx_deriving_runtime.unit
type entry = {
  1. name : Ident.ident;
  2. args : (Ident.ident * type_) list;
  3. eargs : (Ident.ident * type_) list;
  4. body : instruction;
}
val pp_entry : Ppx_deriving_runtime.Format.formatter -> entry -> Ppx_deriving_runtime.unit
val show_entry : entry -> Ppx_deriving_runtime.string
type ir = {
  1. name : Ident.ident;
  2. storage_type : type_;
  3. storage_data : data;
  4. storage_list : (Ident.ident * type_ * data) list;
  5. with_operations : bool;
  6. parameter : type_;
  7. funs : func list;
  8. views : func list;
  9. offchain_views : func list;
  10. entries : entry list;
  11. parameters : Ident.ident list;
}
val pp_ir : Ppx_deriving_runtime.Format.formatter -> ir -> Ppx_deriving_runtime.unit
type view_struct = {
  1. id : Ident.ident;
  2. param : type_;
  3. ret : type_;
  4. body : code;
}
val pp_view_struct : Ppx_deriving_runtime.Format.formatter -> view_struct -> Ppx_deriving_runtime.unit
val show_view_struct : view_struct -> Ppx_deriving_runtime.string
type michelson = {
  1. storage : type_;
  2. parameter : type_;
  3. code : code;
  4. views : view_struct list;
  5. parameters : Ident.ident list;
}
val pp_michelson : Ppx_deriving_runtime.Format.formatter -> michelson -> Ppx_deriving_runtime.unit
val show_michelson : michelson -> Ppx_deriving_runtime.string
type micheline = {
  1. code : obj_micheline list;
  2. storage : obj_micheline;
  3. parameters : Ident.ident list;
  4. views : obj_micheline list;
}
val pp_micheline : Ppx_deriving_runtime.Format.formatter -> micheline -> Ppx_deriving_runtime.unit
val show_micheline : micheline -> Ppx_deriving_runtime.string
type annotation_struct = {
  1. name : string;
  2. description : string;
}
val pp_annotation_struct : Ppx_deriving_runtime.Format.formatter -> annotation_struct -> Ppx_deriving_runtime.unit
val show_annotation_struct : annotation_struct -> Ppx_deriving_runtime.string
type michelson_storage_view_struct = {
  1. code : obj_micheline;
  2. parameter : obj_micheline option;
  3. returnType : obj_micheline option;
  4. annotations : annotation_struct list;
  5. version : string option;
}
val pp_michelson_storage_view_struct : Ppx_deriving_runtime.Format.formatter -> michelson_storage_view_struct -> Ppx_deriving_runtime.unit
val show_michelson_storage_view_struct : michelson_storage_view_struct -> Ppx_deriving_runtime.string
type rest_api_query_struct = {
  1. specificationUri : string;
  2. baseUri : string;
  3. path : string;
}
val pp_rest_api_query_struct : Ppx_deriving_runtime.Format.formatter -> rest_api_query_struct -> Ppx_deriving_runtime.unit
val show_rest_api_query_struct : rest_api_query_struct -> Ppx_deriving_runtime.string
type offchain_view_implem_kind =
  1. | OVIKMichelsonStorageView of michelson_storage_view_struct
  2. | OVIKRestApiQuery of rest_api_query_struct
val pp_offchain_view_implem_kind : Ppx_deriving_runtime.Format.formatter -> offchain_view_implem_kind -> Ppx_deriving_runtime.unit
val show_offchain_view_implem_kind : offchain_view_implem_kind -> Ppx_deriving_runtime.string
type offchain_view = {
  1. name : Ident.ident;
  2. implementations : offchain_view_implem_kind list;
}
val pp_offchain_view : Ppx_deriving_runtime.Format.formatter -> offchain_view -> Ppx_deriving_runtime.unit
val show_offchain_view : offchain_view -> Ppx_deriving_runtime.string
type dvar = [
  1. | `VLocal of int
  2. | `VGlobal of Ident.ident
]
and dexpr =
  1. | Dvar of dvar
  2. | Depair of dexpr * dexpr
  3. | Ddata of type_ * data
  4. | Dfun of g_operator * dexpr list
val pp_dvar : Ppx_deriving_runtime.Format.formatter -> dvar -> Ppx_deriving_runtime.unit
val pp_dexpr : Ppx_deriving_runtime.Format.formatter -> dexpr -> Ppx_deriving_runtime.unit
type dinstr =
  1. | DIAssign of dvar * dexpr
  2. | DIIf of dexpr * dcode * dcode
  3. | DIMatch of dexpr * (Ident.ident * dpattern list * dcode) list
  4. | DIFailwith of dexpr
  5. | DIWhile of dexpr * dcode
  6. | DIIter of dtyvar * dexpr * dcode
  7. | DILoop of dtyvar * dcode
and dtyvar = dvar
and dpattern =
  1. | DVar of int
  2. | DPair of dpattern * dpattern
and dcode = dinstr list
val pp_dinstr : Ppx_deriving_runtime.Format.formatter -> dinstr -> Ppx_deriving_runtime.unit
val show_dinstr : dinstr -> Ppx_deriving_runtime.string
val pp_dtyvar : Ppx_deriving_runtime.Format.formatter -> dtyvar -> Ppx_deriving_runtime.unit
val show_dtyvar : dtyvar -> Ppx_deriving_runtime.string
val pp_dpattern : Ppx_deriving_runtime.Format.formatter -> dpattern -> Ppx_deriving_runtime.unit
val show_dpattern : dpattern -> Ppx_deriving_runtime.string
val pp_dcode : Ppx_deriving_runtime.Format.formatter -> dcode -> Ppx_deriving_runtime.unit
type dprogram = {
  1. name : Ident.ident;
  2. storage : type_;
  3. parameter : type_;
  4. storage_data : data;
  5. code : dcode;
  6. procs : (string * (string * type_) list * dcode) list;
}
val pp_dprogram : Ppx_deriving_runtime.Format.formatter -> dprogram -> Ppx_deriving_runtime.unit
val show_dprogram : dprogram -> Ppx_deriving_runtime.string
type rstack1 = [
  1. | dvar
  2. | `Paired of rstack1 * rstack1
]
val pp_rstack1 : Ppx_deriving_runtime.Format.formatter -> rstack1 -> Ppx_deriving_runtime.unit
val show_rstack1 : rstack1 -> Ppx_deriving_runtime.string
type rstack = rstack1 list
val pp_rstack : Ppx_deriving_runtime.Format.formatter -> rstack -> Ppx_deriving_runtime.unit
val show_rstack : rstack -> Ppx_deriving_runtime.string
val mk_type : ?annotation:Ident.ident -> type_node -> type_
val mk_ctx_func : ?args:(Ident.ident * type_) list -> ?stovars:Ident.ident list -> 'a -> ctx_func
val mk_code : ?type_:type_ list -> code_node -> code
val mk_func : Ident.ident -> type_ -> type_ -> ctx_func -> implem -> func
val mk_entry : Ident.ident -> (Ident.ident * type_) list -> (Ident.ident * type_) list -> instruction -> entry
val mk_ir : ?parameters:Ident.ident list -> Ident.ident -> type_ -> data -> (Ident.ident * type_ * data) list -> ?with_operations:bool -> type_ -> func list -> func list -> func list -> entry list -> ir
val mk_view_struct : Ident.ident -> type_ -> type_ -> code -> view_struct
val mk_michelson : ?parameters:Ident.ident list -> type_ -> type_ -> ?views:view_struct list -> code -> michelson
val mk_prim : ?args:obj_micheline list -> ?annots:Ident.ident list -> Ident.ident -> prim
val mk_micheline : ?parameters:Ident.ident list -> ?views:obj_micheline list -> obj_micheline list -> obj_micheline -> micheline
val mk_dprogram : ?procs:(string * (string * type_) list * dcode) list -> type_ -> type_ -> data -> Ident.ident -> dcode -> dprogram
val toperation : type_
val tunit : type_
val tstring : type_
val tnat : type_
val tint : type_
val tbool : type_
val tmutez : type_
val taddress : type_
val ttimestamp : type_
val tchain_id : type_
val tbytes : type_
val tpair : type_ list -> type_
val tor : type_ -> type_ -> type_
val trat : type_
val tlist : type_ -> type_
val tset : type_ -> type_
val tmap : type_ -> type_ -> type_
val tlambda : type_ -> type_ -> type_
val toption : type_ -> type_
val tcontract : type_ -> type_
val tkey_hash : type_
val tticket : type_ -> type_
val itrue : instruction
val ifalse : instruction
val istring : string -> instruction
val imutez : Core.big_int -> instruction
val isome : instruction -> instruction
val inone : type_ -> instruction
val iunit : instruction
val inil : type_ -> instruction
val iemptyset : type_ -> instruction
val iemptymap : type_ -> type_ -> instruction
val iemptybigmap : type_ -> type_ -> instruction
val icar : instruction -> instruction
val icdr : instruction -> instruction
val ifail : string -> instruction
val ifaild : instruction -> instruction
val iskip : instruction
val ileft : type_ -> instruction -> instruction
val iright : type_ -> instruction -> instruction
val isub_mutez : instruction -> instruction -> instruction
val irecord : ritem -> instruction
val isrecord : instruction list -> instruction
val icarn : int -> instruction -> instruction
val icdrn : int -> instruction -> instruction
val ctrue : code
val cfalse : code
val cnat : Core.big_int -> code
val cstring : string -> code
val cfail : string -> code
val cskip : code
val cseq : code list -> code
val capply : code
val cexec : code
val cfailwith : code
val cif : (code list * code list) -> code
val cifcons : (code list * code list) -> code
val cifleft : (code list * code list) -> code
val cifnone : (code list * code list) -> code
val citer : code list -> code
val clambda : (type_ * type_ * code list) -> code
val cloop : code list -> code
val cloop_left : code list -> code
val cdig : int -> code
val cdip : (int * code list) -> code
val cdrop : int -> code
val cdug : int -> code
val cdup : code
val cdup_n : int -> code
val cpush : (type_ * data) -> code
val cswap : code
val cabs : code
val cadd : code
val ccompare : code
val cediv : code
val ceq : code
val cge : code
val cgt : code
val cint : code
val cisnat : code
val cle : code
val clsl : code
val clsr : code
val clt : code
val cmul : code
val cneg : code
val cneq : code
val csub : code
val csub_mutez : code
val cand : code
val cnot : code
val cor : code
val cxor : code
val cblake2b : code
val ccheck_signature : code
val chash_key : code
val ckeccak : code
val cpairing_check : code
val csapling_empty_state : int -> code
val csapling_verify_update : code
val csha256 : code
val csha512 : code
val csha3 : code
val caddress : code
val camount : code
val cbalance : code
val cchain_id : code
val ccontract : (type_ * Ident.ident option) -> code
val cemit : (type_ * Ident.ident option) -> code
val cimplicit_account : code
val clevel : code
val cmin_block_time : code
val cnow : code
val cself : Ident.ident option -> code
val cself_address : code
val csender : code
val cset_delegate : code
val csource : code
val ctotal_voting_power : code
val ctransfer_tokens : code
val cvoting_power : code
val ccar : code
val ccdr : code
val cconcat : code
val ccons : code
val cempty_big_map : (type_ * type_) -> code
val cempty_map : (type_ * type_) -> code
val cempty_set : type_ -> code
val cget : code
val cget_n : int -> code
val cget_and_update : code
val cleft : type_ -> code
val cmap : code list -> code
val cmem : code
val cnever : code
val cnil : type_ -> code
val cnone : type_ -> code
val cpack : code
val cpair : code
val cpair_n : int -> code
val cright : type_ -> code
val csize : code
val cslice : code
val csome : code
val cunit : code
val cunpair : code
val cunpair_n : int -> code
val cunpack : type_ -> code
val cupdate : code
val cupdate_n : int -> code
val cjoin_tickets : code
val cread_ticket : code
val csplit_ticket : code
val cticket : code
val ccast : type_ -> code
val crename : code
val cview : (Ident.ident * type_) -> code
val copen_chest : code
val ccreate_contract : obj_micheline -> code
val ccarn : int -> code
val ccdrn : int -> code
val cmp_ident : Tools.String.t -> Tools.String.t -> bool
val cmp_type : type_ -> type_ -> bool
val cmp_data : data -> data -> bool
val cmp_z_operator : z_operator -> z_operator -> bool
val cmp_un_operator : un_operator -> un_operator -> bool
val cmp_bin_operator : bin_operator -> bin_operator -> bool
val cmp_ter_operator : ter_operator -> ter_operator -> bool
val cmp_code : code -> code -> bool
val cmp_builtin : builtin -> builtin -> bool
val map_type : (type_ -> type_) -> type_ -> type_
val cmp_dvar : dvar -> dvar -> bool
val cmp_dlocal : dexpr option Stdlib.ref -> dexpr option Stdlib.ref -> bool
val cmp_dexpr : dexpr -> dexpr -> bool
val map_data : (data -> data) -> data -> data
val map_code_gen : (code -> code) -> (data -> data) -> (type_ -> type_) -> code -> code
val map_code : (code -> code) -> code -> code
val map_seq : (code list -> code list) -> code -> code
module Utils : sig ... end
val to_type : obj_micheline -> type_
val to_data : obj_micheline -> data
type micheline_ = Micheline_printer.node
val to_micheline_ : obj_micheline -> micheline_
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct