package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
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. | LPAREN
  88. | LIST
  89. | LET
  90. | LESS_LESS_PIPE
  91. | LESS_EQUAL_GREATER
  92. | LESSEQUAL
  93. | LESS
  94. | LEFT
  95. | LBRACKETPERCENT
  96. | LBRACKET
  97. | LBRACE
  98. | LAMBDA
  99. | LABEL
  100. | ITERABLE_BIG_MAP
  101. | ITER
  102. | IS
  103. | INVARIANT
  104. | INVALID_EXPR
  105. | INVALID_EFFECT
  106. | INVALID_DECL
  107. | INITIALIZED
  108. | INITIAL
  109. | IN
  110. | IMPLY
  111. | IF
  112. | IDENTIFIED
  113. | IDENT of string
  114. | GREATEREQUAL
  115. | GREATER
  116. | GET_ENTRYPOINT
  117. | GETTER
  118. | FUNCTION
  119. | FROM
  120. | FORALL
  121. | FOR
  122. | FOLD
  123. | FALSE
  124. | FAIL_IF
  125. | FAILSOME
  126. | FAILS
  127. | FAIL
  128. | EXTENSION
  129. | EXISTS
  130. | EVENT
  131. | EQUIV
  132. | EQUAL
  133. | EOF
  134. | ENUM
  135. | ENTRY
  136. | END
  137. | EMIT
  138. | ELSE
  139. | EFFECT
  140. | DURATION of string
  141. | DO_REQUIRE
  142. | DO_FAIL_IF
  143. | DOT
  144. | DONE
  145. | DO
  146. | DIVEQUAL
  147. | DIV
  148. | DEFINITION
  149. | DECIMAL of string
  150. | DATE of string
  151. | CONTRACT
  152. | CONSTANT
  153. | CONST
  154. | COMMA
  155. | COLONEQUAL
  156. | COLONCOLON
  157. | COLON
  158. | CALL_VIEW
  159. | CALLED
  160. | CALL
  161. | BYTES of string
  162. | BY
  163. | BUT
  164. | BIG_MAP
  165. | BEGIN
  166. | BEFORE
  167. | AT
  168. | ASSET_VIEW
  169. | ASSET_VALUE
  170. | ASSET_KEY
  171. | ASSET
  172. | ASSERT
  173. | AS
  174. | ARCHETYPE
  175. | ANY
  176. | AND
  177. | AMPEQUAL
  178. | AGGREGATE
  179. | ADDRESS_TO_CONTRACT
  180. | ADDRESS of string
  181. | ADDED
  182. | 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