package archetype

  1. Overview
  2. Docs

Module Archetype.ParserSource

Sourcetype 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
  44. | REMOVED
  45. | RECORD
  46. | RBRACKET
  47. | RBRACE
  48. | QUESTIONEQUAL
  49. | QUESTIONDOT
  50. | QUESTIONCOLONEQUAL
  51. | QUESTION
  52. | PREDICATE
  53. | POSTCONDITION
  54. | PLUSEQUAL
  55. | PLUS
  56. | PIPE_GREATER_GREATER
  57. | PIPEEQUAL
  58. | PIPE
  59. | PIDENT of string
  60. | PERCENT_LIT of string
  61. | PERCENTRBRACKET
  62. | PERCENT
  63. | PARTITION
  64. | OTHERWISE
  65. | OR
  66. | OPTION
  67. | ON
  68. | NUMBERNAT of Big_int.big_int
  69. | NUMBERINT of Big_int.big_int
  70. | NO_TRANSFER
  71. | NOT
  72. | NONE
  73. | NEQUAL
  74. | NAMESPACE
  75. | MULTEQUAL
  76. | MULT
  77. | MTZ of string
  78. | MINUSEQUAL
  79. | MINUS
  80. | MATCH
  81. | MAP
  82. | MAKE_SET
  83. | MAKE_MAP
  84. | MAKE_LIST
  85. | MAKE_BIG_MAP
  86. | LPAREN
  87. | LIST
  88. | LET
  89. | LESS_LESS_PIPE
  90. | LESS_EQUAL_GREATER
  91. | LESSEQUAL
  92. | LESS
  93. | LEFT
  94. | LBRACKETPERCENT
  95. | LBRACKET
  96. | LBRACE
  97. | LAMBDA
  98. | LABEL
  99. | ITERABLE_BIG_MAP
  100. | ITER
  101. | INVARIANT
  102. | INVALID_EXPR
  103. | INVALID_EFFECT
  104. | INVALID_DECL
  105. | INITIALIZED
  106. | INITIAL
  107. | IN
  108. | IMPLY
  109. | IF
  110. | IDENTIFIED
  111. | IDENT of string
  112. | GREATEREQUAL
  113. | GREATER
  114. | GET_ENTRYPOINT
  115. | GETTER
  116. | FUNCTION
  117. | FROM
  118. | FORALL
  119. | FOR
  120. | FOLD
  121. | FALSE
  122. | FAIL_IF
  123. | FAILSOME
  124. | FAILS
  125. | FAIL
  126. | EXTENSION
  127. | EXISTS
  128. | EVENT
  129. | EQUIV
  130. | EQUAL
  131. | EOF
  132. | ENUM
  133. | ENTRY
  134. | END
  135. | EMIT
  136. | ELSE
  137. | EFFECT
  138. | DURATION of string
  139. | DO_REQUIRE
  140. | DO_FAIL_IF
  141. | DOT
  142. | DONE
  143. | DO
  144. | DIVEQUAL
  145. | DIV
  146. | DEFINITION
  147. | DECIMAL of string
  148. | DATE of string
  149. | CONTRACT
  150. | CONSTANT
  151. | CONST
  152. | COMMA
  153. | COLONEQUAL
  154. | COLONCOLON
  155. | COLON
  156. | CALL_VIEW
  157. | CALLED
  158. | CALL
  159. | BYTES of string
  160. | BY
  161. | BUT
  162. | BIG_MAP
  163. | BEGIN
  164. | BEFORE
  165. | AT
  166. | ASSET_VIEW
  167. | ASSET_VALUE
  168. | ASSET_KEY
  169. | ASSET
  170. | ASSERT
  171. | AS
  172. | ARCHETYPE
  173. | ANY
  174. | AND
  175. | AMPEQUAL
  176. | AGGREGATE
  177. | ADDRESS_TO_CONTRACT
  178. | ADDRESS of string
  179. | ADDED
  180. | ACCEPT_TRANSFER
Sourceexception Error
Sourcemodule MenhirInterpreter : sig ... end
Sourcemodule Incremental : sig ... end