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

Innovation. Community. Security.