package archetype

  1. Overview
  2. Docs
type token =
  1. | XOR
  2. | VSTRING of string
  3. | VOTING_POWER
  4. | UPDATE
  5. | UNPAIR
  6. | UNPACK
  7. | UNIT
  8. | TUNIT
  9. | TTIMESTAMP
  10. | TSTRING
  11. | TSIGNATURE
  12. | TSET
  13. | TSAPLING_TRANSACTION
  14. | TSAPLING_STATE
  15. | TRANSFER_TOKENS
  16. | TPVSS_KEY
  17. | TPAIR
  18. | TOTAL_VOTING_POWER
  19. | TOR
  20. | TOPTION
  21. | TOPERATION
  22. | TOGGLE_BAKER_DELEGATIONS
  23. | TNEVER
  24. | TNAT
  25. | TMUTEZ
  26. | TMAP
  27. | TLIST
  28. | TLAMBDA
  29. | TKEY_HASH
  30. | TKEY
  31. | TINT
  32. | TCONTRACT
  33. | TCHAIN_ID
  34. | TBYTES
  35. | TBOOL
  36. | TBLS12_381_G2
  37. | TBLS12_381_G1
  38. | TBLS12_381_FR
  39. | TBIG_MAP
  40. | TBAKER_OPERATION
  41. | TBAKER_HASH
  42. | TADDRESS
  43. | SWAP
  44. | SUBMIT_PROPOSALS
  45. | SUBMIT_BALLOT
  46. | SUB
  47. | STORAGE
  48. | STEPS_TO_QUOTA
  49. | SOURCE
  50. | SOME
  51. | SLICE
  52. | SIZE
  53. | SHA512
  54. | SHA3
  55. | SHA256
  56. | SET_DELEGATE
  57. | SET_BAKER_PVSS_KEY
  58. | SET_BAKER_CONSENSUS_KEY
  59. | SET_BAKER_ACTIVE
  60. | SENDER
  61. | SEMI_COLON
  62. | SELF_ADDRESS
  63. | SELF
  64. | SAPLING_VERIFY_UPDATE
  65. | SAPLING_EMPTY_STATE
  66. | RPAREN
  67. | RIGHT
  68. | RENAME
  69. | RBRACKET
  70. | RBRACE
  71. | PUSH
  72. | PARAMETER
  73. | PAIRING_CHECK
  74. | PAIR
  75. | PACK
  76. | OR
  77. | NUMBER of Big_int.big_int
  78. | NOW
  79. | NOT
  80. | NONE
  81. | NIL
  82. | NEVER
  83. | NEQ
  84. | NEG
  85. | MUL
  86. | MEM
  87. | MAP
  88. | LT
  89. | LSR
  90. | LSL
  91. | LPAREN
  92. | LOOP_LEFT
  93. | LOOP
  94. | LEVEL
  95. | LEFT
  96. | LE
  97. | LBRACKET
  98. | LBRACE
  99. | LAMBDA
  100. | KECCAK
  101. | ITER
  102. | ISNAT
  103. | INT
  104. | IMPLICIT_ACCOUNT
  105. | IF_NONE
  106. | IF_LEFT
  107. | IF_CONS
  108. | IF
  109. | HASH_KEY
  110. | GT
  111. | GET
  112. | GE
  113. | FAILWITH
  114. | EXEC
  115. | EQ
  116. | EOF
  117. | EMPTY_SET
  118. | EMPTY_MAP
  119. | EMPTY_BIG_MAP
  120. | EDIV
  121. | DUP
  122. | DUNIT
  123. | DUG
  124. | DTRUE
  125. | DSOME
  126. | DROP
  127. | DRIGHT
  128. | DPAIR
  129. | DNONE
  130. | DLEFT
  131. | DIP
  132. | DIG
  133. | DFALSE
  134. | DELT
  135. | CREATE_CONTRACT
  136. | CREATE_ACCOUNT
  137. | CONTRACT
  138. | CONS
  139. | CONCAT
  140. | COMPARE
  141. | CODE
  142. | CHECK_SIGNATURE
  143. | CHAIN_ID
  144. | CDR
  145. | CAST
  146. | CAR
  147. | BYTES of string
  148. | BLAKE2B
  149. | BALANCE
  150. | APPLY
  151. | ANNOTATION of string
  152. | AND
  153. | AMOUNT
  154. | ADDRESS
  155. | ADD
  156. | ABS
exception Error
val main : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Michelson.michelson
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
OCaml

Innovation. Community. Security.