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