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 position = {
  1. line : int;
  2. col : int;
  3. char : int;
}
val position_to_yojson : position -> Yojson.Safe.t
val position_of_yojson : Yojson.Safe.t -> position Ppx_deriving_yojson_runtime.error_or
val pp_position : Ppx_deriving_runtime.Format.formatter -> position -> Ppx_deriving_runtime.unit
val show_position : position -> Ppx_deriving_runtime.string
type range = {
  1. start : position;
  2. end_ : position;
}
val range_to_yojson : range -> Yojson.Safe.t
val range_of_yojson : Yojson.Safe.t -> range Ppx_deriving_yojson_runtime.error_or
val pp_range : Ppx_deriving_runtime.Format.formatter -> range -> Ppx_deriving_runtime.unit
type obj_stack = {
  1. name : string;
}
val obj_stack_to_yojson : obj_stack -> Yojson.Safe.t
val obj_stack_of_yojson : Yojson.Safe.t -> obj_stack Ppx_deriving_yojson_runtime.error_or
val pp_obj_stack : Ppx_deriving_runtime.Format.formatter -> obj_stack -> Ppx_deriving_runtime.unit
val show_obj_stack : obj_stack -> Ppx_deriving_runtime.string
type obj_debug = {
  1. id : string * string;
  2. range : range;
  3. stack : obj_stack;
}
val obj_debug_to_yojson : obj_debug -> Yojson.Safe.t
val obj_debug_of_yojson : Yojson.Safe.t -> obj_debug Ppx_deriving_yojson_runtime.error_or
val pp_obj_debug : Ppx_deriving_runtime.Format.formatter -> obj_debug -> Ppx_deriving_runtime.unit
val show_obj_debug : obj_debug -> 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
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
  18. | Dconstant of string
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. | NAT
  29. | INT
  30. | BYTES
  31. | ISNAT
  32. | LE
  33. | LSL
  34. | LSR
  35. | LT
  36. | MUL
  37. | NEG
  38. | NEQ
  39. | SUB
  40. | SUB_MUTEZ
  41. | AND
  42. | NOT
  43. | OR
  44. | XOR
  45. | BLAKE2B
  46. | CHECK_SIGNATURE
  47. | HASH_KEY
  48. | KECCAK
  49. | PAIRING_CHECK
  50. | SAPLING_EMPTY_STATE of int
  51. | SAPLING_VERIFY_UPDATE
  52. | SHA256
  53. | SHA512
  54. | SHA3
  55. | ADDRESS
  56. | AMOUNT
  57. | BALANCE
  58. | CHAIN_ID
  59. | CONTRACT of type_ * Ident.ident option
  60. | CREATE_CONTRACT of obj_micheline
  61. | EMIT of type_ * Ident.ident option
  62. | IMPLICIT_ACCOUNT
  63. | LEVEL
  64. | MIN_BLOCK_TIME
  65. | NOW
  66. | SELF of Ident.ident option
  67. | SELF_ADDRESS
  68. | SENDER
  69. | SET_DELEGATE
  70. | SOURCE
  71. | TOTAL_VOTING_POWER
  72. | TRANSFER_TOKENS
  73. | VOTING_POWER
  74. | CAR
  75. | CDR
  76. | CONCAT
  77. | CONS
  78. | EMPTY_BIG_MAP of type_ * type_
  79. | EMPTY_MAP of type_ * type_
  80. | EMPTY_SET of type_
  81. | GET
  82. | GET_N of int
  83. | GET_AND_UPDATE
  84. | LEFT of type_
  85. | MAP of code list
  86. | MEM
  87. | NEVER
  88. | NIL of type_
  89. | NONE of type_
  90. | PACK
  91. | PAIR
  92. | PAIR_N of int
  93. | RIGHT of type_
  94. | SIZE
  95. | SLICE
  96. | SOME
  97. | UNIT
  98. | UNPACK of type_
  99. | UNPAIR
  100. | UNPAIR_N of int
  101. | UPDATE
  102. | UPDATE_N of int
  103. | JOIN_TICKETS
  104. | READ_TICKET
  105. | SPLIT_TICKET
  106. | TICKET
  107. | CAST of type_
  108. | RENAME
  109. | VIEW of Ident.ident * type_
  110. | OPEN_CHEST
  111. | CAR_N of int
  112. | CDR_N of int
  113. | CUSTOM of obj_micheline
and stack_item = {
  1. stack_item_name : string;
  2. stack_item_kind : string;
  3. stack_item_type : type_ option;
}
and stack = stack_item list
and decl_bound = {
  1. db_kind : string;
  2. db_name : string;
  3. db_bound : string;
}
and debug = {
  1. decl_bound : decl_bound option;
  2. stack : stack;
  3. loc : Location.t option;
}
and code = {
  1. node : code_node;
  2. type_ : type_ list option Stdlib.ref;
  3. debug : debug option;
}
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. | Unat
  7. | Uint
  8. | Ubytes
  9. | Unot
  10. | Uabs
  11. | Uisnat
  12. | Usome
  13. | Usize
  14. | Upack
  15. | Uunpack of type_
  16. | Ublake2b
  17. | Usha256
  18. | Usha512
  19. | Usha3
  20. | Ukeccak
  21. | Uhash_key
  22. | Ufail
  23. | Ucontract of type_ * Ident.ident option
  24. | Usetdelegate
  25. | Uimplicitaccount
  26. | Ueq
  27. | Une
  28. | Ugt
  29. | Uge
  30. | Ult
  31. | Ule
  32. | Uvotingpower
  33. | Ureadticket
  34. | Ujointickets
  35. | Upairing_check
  36. | Uconcat
  37. | Uaddress
  38. | UcarN of int
  39. | UcdrN of int
  40. | UforcePair
  41. | 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. | BlistHead of type_
  8. | BlistTail of type_
  9. | Bratcmp
  10. | Bratnorm
  11. | Brataddsub
  12. | Bratdiv
  13. | Bratmul
  14. | Bratuminus
  15. | Bratabs
  16. | Brattez
  17. | Bratdur
  18. | Bmuteztonat
  19. | Bsimplify_rational
  20. | Bis_implicit_address
and klv =
  1. | KLVoption of type_
  2. | KLVmap of type_ * instruction
and access_item = {
  1. ai_index : int;
  2. ai_length : int;
}
and access_value = {
  1. av_ident : Ident.ident;
  2. av_path : access_item list;
  3. av_source_no_dup : bool;
  4. av_value_no_dup : bool;
}
and instruction_node =
  1. | Iseq of instruction list
  2. | IletIn of Ident.ident list * instruction * instruction * bool
  3. | Ivar_access of access_value
  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. | Ilambda_michelson of type_ * type_ * obj_micheline
  16. | Izop of z_operator
  17. | Iunop of un_operator * instruction
  18. | Ibinop of bin_operator * instruction * instruction
  19. | Iterop of ter_operator * instruction * instruction * instruction
  20. | Iupdate of ukind * aoperator
  21. | Iconst of type_ * data
  22. | Icompare of cmp_operator * instruction * instruction
  23. | Iset of type_ * instruction list
  24. | Ilist of type_ * instruction list
  25. | Imap of bool * type_ * type_ * (instruction * instruction) list
  26. | Irecord of ritem
  27. | Irecupdate of instruction * ruitem
  28. | Imap_ of instruction * Ident.ident * instruction
  29. | Ifold of Ident.ident * Ident.ident option * Ident.ident * instruction * instruction * instruction
  30. | Ireverse of type_ * instruction
  31. | Imichelson of instruction list * code * Ident.ident list
  32. | Iwildcard of type_ * Ident.ident
  33. | Ireplace of Ident.ident * Ident.ident * klv * instruction
  34. | Ireadticket of instruction
  35. | Imicheline of obj_micheline * type_ list * instruction list
  36. | Irep of Ident.ident * klv
and instruction = {
  1. node : instruction_node;
  2. loc : Location.t option;
}
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_stack_item : Ppx_deriving_runtime.Format.formatter -> stack_item -> Ppx_deriving_runtime.unit
val show_stack_item : stack_item -> Ppx_deriving_runtime.string
val pp_stack : Ppx_deriving_runtime.Format.formatter -> stack -> Ppx_deriving_runtime.unit
val pp_decl_bound : Ppx_deriving_runtime.Format.formatter -> decl_bound -> Ppx_deriving_runtime.unit
val show_decl_bound : decl_bound -> Ppx_deriving_runtime.string
val pp_debug : Ppx_deriving_runtime.Format.formatter -> debug -> Ppx_deriving_runtime.unit
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_klv : Ppx_deriving_runtime.Format.formatter -> klv -> Ppx_deriving_runtime.unit
val pp_access_item : Ppx_deriving_runtime.Format.formatter -> access_item -> Ppx_deriving_runtime.unit
val show_access_item : access_item -> Ppx_deriving_runtime.string
val pp_access_value : Ppx_deriving_runtime.Format.formatter -> access_value -> Ppx_deriving_runtime.unit
val show_access_value : access_value -> Ppx_deriving_runtime.string
val pp_instruction_node : Ppx_deriving_runtime.Format.formatter -> instruction_node -> Ppx_deriving_runtime.unit
val show_instruction_node : instruction_node -> Ppx_deriving_runtime.string
val pp_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;
  6. loc : Location.t;
}
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;
  5. loc : Location.t;
}
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_node =
  1. | Dvar of dvar
  2. | Depair of dexpr * dexpr
  3. | Ddata of type_ * data
  4. | Dfun of g_operator * dexpr list
and dexpr = {
  1. node : dexpr_node;
  2. type_ : type_ option;
}
val pp_dvar : Ppx_deriving_runtime.Format.formatter -> dvar -> Ppx_deriving_runtime.unit
val pp_dexpr_node : Ppx_deriving_runtime.Format.formatter -> dexpr_node -> Ppx_deriving_runtime.unit
val show_dexpr_node : dexpr_node -> Ppx_deriving_runtime.string
val pp_dexpr : Ppx_deriving_runtime.Format.formatter -> dexpr -> Ppx_deriving_runtime.unit
val mk_dexpr : ?type_:type_ -> dexpr_node -> dexpr
val dvar : dvar -> dexpr
val depair : dexpr -> dexpr -> dexpr
val ddata : type_ -> data -> dexpr
val dfun : g_operator -> dexpr list -> dexpr
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 -> ?debug:debug -> code_node -> code
val mk_func : Ident.ident -> type_ -> type_ -> ctx_func -> implem -> Location.t -> func
val mk_entry : Ident.ident -> (Ident.ident * type_) list -> (Ident.ident * type_) list -> instruction -> Location.t -> 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 taddress : type_
val tbig_map : type_ -> type_ -> type_
val tbool : type_
val tbytes : type_
val tchain_id : type_
val tcontract : type_ -> type_
val tint : type_
val tkey : type_
val tkey_hash : type_
val tlambda : type_ -> type_ -> type_
val tlist : type_ -> type_
val tmap : type_ -> type_ -> type_
val tmutez : type_
val tnat : type_
val toperation : type_
val toption : type_ -> type_
val tor : type_ -> type_ -> type_
val tpair : type_ list -> type_
val tset : type_ -> type_
val tsignature : type_
val tstring : type_
val ttimestamp : type_
val tunit : type_
val tticket : type_ -> type_
val tsapling_state : int -> type_
val tsapling_transaction : int -> type_
val tbls12_381_fr : type_
val tbls12_381_g1 : type_
val tbls12_381_g2 : type_
val tnever : type_
val tchest : type_
val tchest_key : type_
val trat : type_
val mk_instruction : ?loc:Location.t -> instruction_node -> instruction
val iseq : ?loc:Location.t -> instruction list -> instruction
val iletIn : ?loc:Location.t -> Ident.ident list -> instruction -> instruction -> bool -> instruction
val ivar_access : ?loc:Location.t -> access_value -> instruction
val icall : ?loc:Location.t -> Ident.ident -> instruction list -> bool -> instruction
val iassign : ?loc:Location.t -> Ident.ident -> instruction -> instruction
val iassigntuple : ?loc:Location.t -> Ident.ident -> int -> int -> instruction -> instruction
val iloop : ?loc:Location.t -> instruction -> instruction -> instruction
val iiter : ?loc:Location.t -> Ident.ident list -> instruction -> instruction -> instruction
val iloopleft : ?loc:Location.t -> instruction -> Ident.ident -> instruction -> instruction
val ilambda : ?loc:Location.t -> type_ -> Ident.ident -> type_ -> instruction -> instruction
val ilambda_michelson : ?loc:Location.t -> type_ -> type_ -> obj_micheline -> instruction
val izop : ?loc:Location.t -> z_operator -> instruction
val iunop : ?loc:Location.t -> un_operator -> instruction -> instruction
val iupdate : ?loc:Location.t -> ukind -> aoperator -> instruction
val iconst : ?loc:Location.t -> type_ -> data -> instruction
val iset : ?loc:Location.t -> type_ -> instruction list -> instruction
val ilist : ?loc:Location.t -> type_ -> instruction list -> instruction
val imap : ?loc:Location.t -> bool -> type_ -> type_ -> (instruction * instruction) list -> instruction
val irecord : ?loc:Location.t -> ritem -> instruction
val irecupdate : ?loc:Location.t -> instruction -> ruitem -> instruction
val imap_ : ?loc:Location.t -> instruction -> Ident.ident -> instruction -> instruction
val ireverse : ?loc:Location.t -> type_ -> instruction -> instruction
val imichelson : ?loc:Location.t -> instruction list -> code -> Ident.ident list -> instruction
val iwildcard : ?loc:Location.t -> type_ -> Ident.ident -> instruction
val ireplace : ?loc:Location.t -> Ident.ident -> Ident.ident -> klv -> instruction -> instruction
val ireadticket : ?loc:Location.t -> instruction -> instruction
val imicheline : ?loc:Location.t -> obj_micheline -> type_ list -> instruction list -> instruction
val irep : ?loc:Location.t -> Ident.ident -> klv -> instruction
val ivar : ?loc:Location.t -> Ident.ident -> instruction
val itrue : ?loc:Location.t -> 'a -> instruction
val ifalse : ?loc:Location.t -> 'a -> instruction
val iint : ?loc:Location.t -> Core.big_int -> instruction
val inat : ?loc:Location.t -> Core.big_int -> instruction
val istring : ?loc:Location.t -> string -> instruction
val imutez : ?loc:Location.t -> Core.big_int -> instruction
val isome : ?loc:Location.t -> instruction -> instruction
val inone : ?loc:Location.t -> type_ -> instruction
val iunit : ?loc:Location.t -> 'a -> instruction
val inil : ?loc:Location.t -> type_ -> instruction
val iemptyset : ?loc:Location.t -> type_ -> instruction
val iemptymap : ?loc:Location.t -> type_ -> type_ -> instruction
val iemptybigmap : ?loc:Location.t -> type_ -> type_ -> instruction
val icar : ?loc:Location.t -> instruction -> instruction
val icdr : ?loc:Location.t -> instruction -> instruction
val ifail : ?loc:Location.t -> string -> instruction
val ifaild : ?loc:Location.t -> instruction -> instruction
val iskip : ?loc:Location.t -> 'a -> instruction
val ileft : ?loc:Location.t -> type_ -> instruction -> instruction
val iright : ?loc:Location.t -> type_ -> instruction -> instruction
val isub_mutez : ?loc:Location.t -> instruction -> instruction -> instruction
val iediv : ?loc:Location.t -> instruction -> instruction -> instruction
val isrecord : ?loc:Location.t -> instruction list -> instruction
val ipair : ?loc:Location.t -> instruction -> instruction -> instruction
val icarn : ?loc:Location.t -> int -> instruction -> instruction
val icdrn : ?loc:Location.t -> int -> instruction -> instruction
val cseq : ?debug:debug -> code list -> code
val capply : ?debug:debug -> 'a -> code
val cexec : ?debug:debug -> 'a -> code
val cfailwith : ?debug:debug -> 'a -> code
val cif : ?debug:debug -> (code list * code list) -> code
val cifcons : ?debug:debug -> (code list * code list) -> code
val cifleft : ?debug:debug -> (code list * code list) -> code
val cifnone : ?debug:debug -> (code list * code list) -> code
val citer : ?debug:debug -> code list -> code
val clambda : ?debug:debug -> (type_ * type_ * code list) -> code
val cloop : ?debug:debug -> code list -> code
val cloop_left : ?debug:debug -> code list -> code
val cdig : ?debug:debug -> int -> code
val cdip : ?debug:debug -> (int * code list) -> code
val cdrop : ?debug:debug -> int -> code
val cdug : ?debug:debug -> int -> code
val cdup : ?debug:debug -> 'a -> code
val cdup_n : ?debug:debug -> int -> code
val cpush : ?debug:debug -> (type_ * data) -> code
val cswap : ?debug:debug -> 'a -> code
val cabs : ?debug:debug -> 'a -> code
val cadd : ?debug:debug -> 'a -> code
val ccompare : ?debug:debug -> 'a -> code
val cediv : ?debug:debug -> 'a -> code
val ceq : ?debug:debug -> 'a -> code
val cge : ?debug:debug -> 'a -> code
val cgt : ?debug:debug -> 'a -> code
val cnat : ?debug:debug -> 'a -> code
val cint : ?debug:debug -> 'a -> code
val cbytes : ?debug:debug -> 'a -> code
val cisnat : ?debug:debug -> 'a -> code
val cle : ?debug:debug -> 'a -> code
val clsl : ?debug:debug -> 'a -> code
val clsr : ?debug:debug -> 'a -> code
val clt : ?debug:debug -> 'a -> code
val cmul : ?debug:debug -> 'a -> code
val cneg : ?debug:debug -> 'a -> code
val cneq : ?debug:debug -> 'a -> code
val csub : ?debug:debug -> 'a -> code
val csub_mutez : ?debug:debug -> 'a -> code
val cand : ?debug:debug -> 'a -> code
val cnot : ?debug:debug -> 'a -> code
val cor : ?debug:debug -> 'a -> code
val cxor : ?debug:debug -> 'a -> code
val cblake2b : ?debug:debug -> 'a -> code
val ccheck_signature : ?debug:debug -> 'a -> code
val chash_key : ?debug:debug -> 'a -> code
val ckeccak : ?debug:debug -> 'a -> code
val cpairing_check : ?debug:debug -> 'a -> code
val csapling_empty_state : ?debug:debug -> int -> code
val csapling_verify_update : ?debug:debug -> 'a -> code
val csha256 : ?debug:debug -> 'a -> code
val csha512 : ?debug:debug -> 'a -> code
val csha3 : ?debug:debug -> 'a -> code
val caddress : ?debug:debug -> 'a -> code
val camount : ?debug:debug -> 'a -> code
val cbalance : ?debug:debug -> 'a -> code
val cchain_id : ?debug:debug -> 'a -> code
val ccontract : ?debug:debug -> (type_ * Ident.ident option) -> code
val cemit : ?debug:debug -> (type_ * Ident.ident option) -> code
val cimplicit_account : ?debug:debug -> 'a -> code
val clevel : ?debug:debug -> 'a -> code
val cmin_block_time : ?debug:debug -> 'a -> code
val cnow : ?debug:debug -> 'a -> code
val cself : ?debug:debug -> Ident.ident option -> code
val cself_address : ?debug:debug -> 'a -> code
val csender : ?debug:debug -> 'a -> code
val cset_delegate : ?debug:debug -> 'a -> code
val csource : ?debug:debug -> 'a -> code
val ctotal_voting_power : ?debug:debug -> 'a -> code
val ctransfer_tokens : ?debug:debug -> 'a -> code
val cvoting_power : ?debug:debug -> 'a -> code
val ccar : ?debug:debug -> 'a -> code
val ccdr : ?debug:debug -> 'a -> code
val cconcat : ?debug:debug -> 'a -> code
val ccons : ?debug:debug -> 'a -> code
val cempty_big_map : ?debug:debug -> (type_ * type_) -> code
val cempty_map : ?debug:debug -> (type_ * type_) -> code
val cempty_set : ?debug:debug -> type_ -> code
val cget : ?debug:debug -> 'a -> code
val cget_n : ?debug:debug -> int -> code
val cget_and_update : ?debug:debug -> 'a -> code
val cleft : ?debug:debug -> type_ -> code
val cmap : ?debug:debug -> code list -> code
val cmem : ?debug:debug -> 'a -> code
val cnever : ?debug:debug -> 'a -> code
val cnil : ?debug:debug -> type_ -> code
val cnone : ?debug:debug -> type_ -> code
val cpack : ?debug:debug -> 'a -> code
val cpair : ?debug:debug -> 'a -> code
val cpair_n : ?debug:debug -> int -> code
val cright : ?debug:debug -> type_ -> code
val csize : ?debug:debug -> 'a -> code
val cslice : ?debug:debug -> 'a -> code
val csome : ?debug:debug -> 'a -> code
val cunit : ?debug:debug -> 'a -> code
val cunpair : ?debug:debug -> 'a -> code
val cunpair_n : ?debug:debug -> int -> code
val cunpack : ?debug:debug -> type_ -> code
val cupdate : ?debug:debug -> 'a -> code
val cupdate_n : ?debug:debug -> int -> code
val cjoin_tickets : ?debug:debug -> 'a -> code
val cread_ticket : ?debug:debug -> 'a -> code
val csplit_ticket : ?debug:debug -> 'a -> code
val cticket : ?debug:debug -> 'a -> code
val ccast : ?debug:debug -> type_ -> code
val crename : ?debug:debug -> 'a -> code
val cview : ?debug:debug -> (Ident.ident * type_) -> code
val copen_chest : ?debug:debug -> 'a -> code
val ccreate_contract : ?debug:debug -> obj_micheline -> code
val ccarn : ?debug:debug -> int -> code
val ccdrn : ?debug:debug -> int -> code
val ccustom : ?debug:debug -> obj_micheline -> code
val ctrue : ?debug:debug -> 'a -> code
val cfalse : ?debug:debug -> 'a -> code
val cpush_int : ?debug:debug -> Core.big_int -> code
val cpush_nat : ?debug:debug -> Core.big_int -> code
val cpush_string : ?debug:debug -> string -> code
val cfail : ?debug:debug -> string -> code
val cskip : ?debug:debug -> 'a -> 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 normalize_type : type_ -> type_
val cmp_dvar : dvar -> dvar -> bool
val cmp_dlocal : dexpr option Stdlib.ref -> dexpr option Stdlib.ref -> bool
val cmp_dexpr_node : dexpr_node -> dexpr_node -> 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 param_const_check : string -> bool
val id_to_const_id : string -> string
val const_id_to_id : string -> string
val to_data : obj_micheline -> data
type tz_micheline = Micheline_printer.node
val to_tz_micheline : obj_micheline -> tz_micheline
val micheline_to_tz_micheline : micheline -> tz_micheline
val remove_seq_obj_micheline : obj_micheline -> obj_micheline list
val seek_type_from_annot : string -> type_ -> type_ option
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