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

Innovation. Community. Security.