package archetype

  1. Overview
  2. Docs
type token =
  1. | XOR
  2. | WITH
  3. | WHILE
  4. | WHEN
  5. | VIEW
  6. | VARIABLE
  7. | VAR
  8. | UTZ of string
  9. | USE
  10. | UNPACK
  11. | UNMOVED
  12. | UNIT
  13. | UNDERSCORE
  14. | TZ of string
  15. | TYPE
  16. | TRUE
  17. | TRANSITION
  18. | TRANSFER
  19. | TO
  20. | TICKET
  21. | THEN
  22. | STRING of string
  23. | STATES
  24. | SPECIFICATION
  25. | SORTED
  26. | SOME
  27. | SLASHPERCENT
  28. | SLASH
  29. | SHADOW
  30. | SET
  31. | SEMI_COLON
  32. | SELF
  33. | SECURITY
  34. | SAPLING_TRANSACTION
  35. | SAPLING_STATE
  36. | RPAREN
  37. | RIGHT
  38. | RETURN
  39. | REQUIRE
  40. | REMOVED
  41. | REFUSE_TRANSFER
  42. | REF
  43. | RECORD
  44. | RBRACKET
  45. | RBRACE
  46. | PREDICATE
  47. | POSTCONDITION
  48. | PLUSEQUAL
  49. | PLUS
  50. | PKEY
  51. | PIPE_GREATER_GREATER
  52. | PIPEEQUAL
  53. | PIPE
  54. | PIDENT of string
  55. | PERCENT_LIT of string
  56. | PERCENTRBRACKET
  57. | PERCENT
  58. | PARTITION
  59. | OTHERWISE
  60. | OR
  61. | OPTION
  62. | ON
  63. | OF
  64. | NUMBERNAT of Big_int.big_int
  65. | NUMBERINT of Big_int.big_int
  66. | NOT
  67. | NONE
  68. | NEQUAL
  69. | NAMESPACE
  70. | MULTEQUAL
  71. | MULT
  72. | MTZ of string
  73. | MINUSEQUAL
  74. | MINUS
  75. | MATCH
  76. | MAP
  77. | LPAREN
  78. | LIST
  79. | LET
  80. | LESS_LESS_PIPE
  81. | LESS_EQUAL_GREATER
  82. | LESSEQUAL
  83. | LESS
  84. | LEFT
  85. | LBRACKETPERCENT
  86. | LBRACKET
  87. | LBRACE
  88. | LAMBDA
  89. | LABEL
  90. | ITER
  91. | INVARIANT
  92. | INVALID_EXPR
  93. | INVALID_EFFECT
  94. | INVALID_DECL
  95. | INITIALIZED
  96. | INITIAL
  97. | IN
  98. | IMPLY
  99. | IF
  100. | IDENTIFIED
  101. | IDENT of string
  102. | GREATEREQUAL
  103. | GREATER
  104. | GETTER
  105. | FUNCTION
  106. | FROM
  107. | FORALL
  108. | FOR
  109. | FOLD
  110. | FALSE
  111. | FAILS
  112. | FAILIF
  113. | FAIL
  114. | EXTENSION
  115. | EXISTS
  116. | EQUIV
  117. | EQUAL
  118. | EOF
  119. | ENUM
  120. | ENTRYPOINT
  121. | ENTRY
  122. | END
  123. | ELSE
  124. | EFFECT
  125. | DURATION of string
  126. | DOT
  127. | DOREQUIRE
  128. | DONE
  129. | DOFAILIF
  130. | DO
  131. | DIVEQUAL
  132. | DIV
  133. | DEFINITION
  134. | DECIMAL of string
  135. | DATE of string
  136. | CONTRACT
  137. | CONSTANT
  138. | CONST
  139. | COMMA
  140. | COLONEQUAL
  141. | COLONCOLON
  142. | COLON
  143. | CALLED
  144. | CALL
  145. | BYTES of string
  146. | BY
  147. | BUT
  148. | BIG_MAP
  149. | BEGIN
  150. | BEFORE
  151. | AT_UPDATE
  152. | AT_REMOVE
  153. | AT_ADD
  154. | AT
  155. | ASSET
  156. | ASSERT
  157. | AS
  158. | ARCHETYPE
  159. | ANY
  160. | AND
  161. | AMPEQUAL
  162. | AGGREGATE
  163. | ADDRESS of string
  164. | ADDED
  165. | 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.