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. | USE
  11. | UNPACK
  12. | UNMOVED
  13. | UNIT
  14. | UNDERSCORE
  15. | TZ of string
  16. | TYPE
  17. | TX_ROLLUP_L2_ADDRESS of string
  18. | TRUE
  19. | TRANSITION
  20. | TRANSFER
  21. | TO
  22. | TICKET
  23. | THEN
  24. | STRING_EXT of string
  25. | STRING of string
  26. | STATE_IS
  27. | STATES
  28. | SPECIFICATION
  29. | SOURCED
  30. | SORTED
  31. | SOME
  32. | SLASHPERCENT
  33. | SLASH
  34. | SHADOW
  35. | SET
  36. | SEMI_COLON
  37. | SELF
  38. | SECURITY
  39. | SAPLING_TRANSACTION
  40. | SAPLING_STATE
  41. | RPAREN
  42. | RIGHT
  43. | RETURN
  44. | REQUIRE_ENTRYPOINT
  45. | REQUIRE
  46. | REMOVED
  47. | RECORD
  48. | RBRACKET
  49. | RBRACE
  50. | QUESTIONIS
  51. | QUESTIONEQUAL
  52. | QUESTIONDOT
  53. | QUESTIONCOLONEQUAL
  54. | QUESTION
  55. | PREDICATE
  56. | POSTCONDITION
  57. | PLUSEQUAL
  58. | PLUS
  59. | PIPE_GREATER_GREATER
  60. | PIPEEQUAL
  61. | PIPE
  62. | PIDENT of string
  63. | PERCENT_LIT of string
  64. | PERCENTRBRACKET
  65. | PERCENT
  66. | PARTITION
  67. | OTHERWISE
  68. | OR
  69. | OPTION
  70. | ONCHAIN
  71. | ON
  72. | OFFCHAIN
  73. | NUMBERNAT of Big_int.big_int
  74. | NUMBERINT of Big_int.big_int
  75. | NO_TRANSFER
  76. | NOT
  77. | NONE
  78. | NEQUAL
  79. | NAMESPACE
  80. | MULTEQUAL
  81. | MULT
  82. | MTZ of string
  83. | MINUSEQUAL
  84. | MINUS
  85. | MATCH
  86. | MAP
  87. | MAKE_SET
  88. | MAKE_MAP
  89. | MAKE_LIST
  90. | MAKE_EVENT
  91. | MAKE_BIG_MAP
  92. | MAKE_ASSET
  93. | LPAREN
  94. | LIST
  95. | LET
  96. | LESS_LESS_PIPE
  97. | LESS_EQUAL_GREATER
  98. | LESSEQUAL
  99. | LESS
  100. | LEFT
  101. | LBRACKETPERCENT
  102. | LBRACKET
  103. | LBRACE
  104. | LAMBDA
  105. | LABEL
  106. | ITERABLE_BIG_MAP
  107. | ITER
  108. | IS
  109. | INVARIANT
  110. | INVALID_EXPR
  111. | INVALID_EFFECT
  112. | INVALID_DECL
  113. | INITIALIZED
  114. | INITIAL
  115. | IN
  116. | IMPORT
  117. | IMPLY
  118. | IF
  119. | IDENTIFIED
  120. | IDENT of string
  121. | GREATEREQUAL
  122. | GREATER
  123. | GET_ENTRYPOINT
  124. | GETTER
  125. | FUNCTION
  126. | FROM
  127. | FORALL
  128. | FOR
  129. | FOLD
  130. | FALSE
  131. | FAIL_IF
  132. | FAILSOME
  133. | FAILS
  134. | FAIL
  135. | EXTENSION
  136. | EXISTS
  137. | EVENT
  138. | EQUIV
  139. | EQUAL
  140. | EOF
  141. | ENUM
  142. | ENTRY
  143. | END
  144. | EMIT
  145. | ELSE
  146. | EFFECT
  147. | DURATION of string
  148. | DO_REQUIRE
  149. | DO_FAIL_IF
  150. | DOT
  151. | DONE
  152. | DO
  153. | DIVEQUAL
  154. | DIV
  155. | DETACH
  156. | DEFINITION
  157. | DECIMAL of string
  158. | DATE of string
  159. | CONTRACT
  160. | CONSTANT
  161. | CONST
  162. | COMMA
  163. | COLONEQUAL
  164. | COLONCOLON
  165. | COLON
  166. | CALL_VIEW
  167. | CALLED
  168. | CALL
  169. | BYTES of string
  170. | BY
  171. | BUT
  172. | BIG_MAP
  173. | BEGIN
  174. | BEFORE
  175. | AT
  176. | ASSET_VIEW
  177. | ASSET_VALUE
  178. | ASSET_KEY
  179. | ASSET_CONTAINER
  180. | ASSET
  181. | ASSERT
  182. | AS
  183. | ARCHETYPE
  184. | ANY
  185. | AND
  186. | AMPEQUAL
  187. | AGGREGATE
  188. | ADDRESS_TO_CONTRACT
  189. | ADDRESS of string
  190. | ADDED
  191. | 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