package archetype

  1. Overview
  2. Docs
type token =
  1. | XOR
  2. | WITH_METADATA
  3. | WITH
  4. | WHILE
  5. | WHEN
  6. | VIEW
  7. | VARIABLE
  8. | VAR
  9. | UTZ of string
  10. | UNPACK
  11. | UNIT
  12. | UNDERSCORE
  13. | TZ_EXPR of string
  14. | TZ of string
  15. | TYPE
  16. | TRUE
  17. | TRANSITION
  18. | TRANSFER
  19. | TO
  20. | TICKET
  21. | THEN
  22. | STRING_EXT of string
  23. | STRING of string
  24. | STATE_IS
  25. | STATES
  26. | SOURCED
  27. | SORTED
  28. | SOME
  29. | SLASHPERCENT
  30. | SLASH
  31. | SET
  32. | SEMI_COLON
  33. | SELF
  34. | SAPLING_TRANSACTION
  35. | SAPLING_STATE
  36. | RPAREN
  37. | RIGHT
  38. | RETURN
  39. | REQUIRE_ENTRYPOINT
  40. | REQUIRE
  41. | RECORD
  42. | RBRACKET
  43. | RBRACE
  44. | QUESTIONIS
  45. | QUESTIONEQUAL
  46. | QUESTIONDOT
  47. | QUESTIONCOLONEQUAL
  48. | QUESTION
  49. | PLUSEQUAL
  50. | PLUS
  51. | PIPE_GREATER_GREATER
  52. | PIPEEQUAL
  53. | PIPE
  54. | PIDENT of string
  55. | PERCENT_LIT of string
  56. | PERCENT
  57. | PARTITION
  58. | OTHERWISE
  59. | OR
  60. | OPTION
  61. | ONCHAIN
  62. | OFFCHAIN
  63. | NUMBER_FR of Big_int.big_int
  64. | NUMBERNAT of Big_int.big_int
  65. | NUMBERINT of Big_int.big_int
  66. | NO_TRANSFER
  67. | NOT
  68. | NONE
  69. | NEQUAL
  70. | NAMESPACE
  71. | MULTEQUAL
  72. | MULT
  73. | MTZ of string
  74. | MINUSEQUAL
  75. | MINUS
  76. | MICHELSON
  77. | MATCH_DETACH
  78. | MATCH
  79. | MAP
  80. | MAKE_SET
  81. | MAKE_MAP
  82. | MAKE_LIST
  83. | MAKE_EVENT
  84. | MAKE_BIG_MAP
  85. | MAKE_ASSET
  86. | LPAREN
  87. | LIST
  88. | LET
  89. | LESS_LESS_PIPE
  90. | LESS_EQUAL_GREATER
  91. | LESSEQUAL
  92. | LESS
  93. | LEFT
  94. | LBRACKET
  95. | LBRACE
  96. | LAMBDA_MICHELSON
  97. | LAMBDA
  98. | ITERABLE_BIG_MAP
  99. | ITER
  100. | IS
  101. | INVALID_EXPR
  102. | INVALID_EFFECT
  103. | INVALID_DECL
  104. | INITIALIZED
  105. | INITIAL
  106. | IN
  107. | IMPORT
  108. | IMPLY
  109. | IF
  110. | IDENTIFIED
  111. | IDENT of string
  112. | GREATEREQUAL
  113. | GREATER
  114. | GLOBAL_CONSTANT
  115. | GET_ENTRYPOINT
  116. | GETTER
  117. | FUNCTION
  118. | FROM
  119. | FOR
  120. | FOLD
  121. | FALSE
  122. | FAIL_IF
  123. | FAILSOME
  124. | FAILEXPR
  125. | FAIL
  126. | EVENT
  127. | EQUAL
  128. | EOF
  129. | ENUM
  130. | ENTRY
  131. | END
  132. | EMIT
  133. | ELSE
  134. | EFFECT
  135. | DURATION of string
  136. | DO_REQUIRE
  137. | DO_FAIL_IF
  138. | DOT
  139. | DONE
  140. | DO
  141. | DIVEQUAL
  142. | DIV
  143. | DETACH
  144. | DECIMAL of string
  145. | DATE of string
  146. | CONTRACT
  147. | CONSTANT
  148. | CONST
  149. | COMMA
  150. | COLONEQUAL
  151. | COLONCOLON
  152. | COLON
  153. | CALL_VIEW
  154. | CALLED
  155. | CALL
  156. | BYTES_G2 of string
  157. | BYTES_G1 of string
  158. | BYTES_FR of string
  159. | BYTES of string
  160. | BY
  161. | BIG_MAP
  162. | BEGIN
  163. | ASSET_VIEW
  164. | ASSET_VALUE
  165. | ASSET_KEY
  166. | ASSET_CONTAINER
  167. | ASSET
  168. | AS
  169. | ARCHETYPE
  170. | ANY
  171. | ANNOTATION of string
  172. | AND
  173. | AMPEQUAL
  174. | AGGREGATE
  175. | ADDRESS_TO_CONTRACT
  176. | ADDRESS of string
  177. | ACCEPT_TRANSFER
exception Error
val start_expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ParseTree.expr
val main : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ParseTree.archetype
module MenhirInterpreter : sig ... end
module Incremental : sig ... end