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. | UNPACK
  11. | UNIT
  12. | UNDERSCORE
  13. | TZ_EXPR of string
  14. | TZ of string
  15. | TYPE
  16. | TRUE
  17. | TRANSITION
  18. | TRANSFER
  19. | TO
  20. | TICKET
  21. | THEN
  22. | STRING_EXT of string
  23. | STRING of string
  24. | STATE_IS
  25. | STATES
  26. | SOURCED
  27. | SORTED
  28. | SOME
  29. | SLASHPERCENT
  30. | SLASH
  31. | SET
  32. | SEMI_COLON
  33. | SELF_CONTRACT
  34. | SELF
  35. | SAPLING_TRANSACTION
  36. | SAPLING_STATE
  37. | RPAREN
  38. | RIGHT
  39. | RETURN
  40. | REQUIRE_ENTRYPOINT
  41. | REQUIRE
  42. | RECORD
  43. | RBRACKET
  44. | RBRACE
  45. | QUESTIONIS
  46. | QUESTIONEQUAL
  47. | QUESTIONDOT
  48. | QUESTIONCOLONEQUAL
  49. | QUESTION
  50. | PLUSEQUAL
  51. | PLUS
  52. | PIPE_GREATER_GREATER
  53. | PIPEEQUAL
  54. | PIPE
  55. | PIDENT of string
  56. | PERCENT_LIT of string
  57. | PERCENT
  58. | PARTITION
  59. | OTHERWISE
  60. | OR
  61. | OPTION
  62. | ONCHAIN
  63. | OFFCHAIN
  64. | NUMBER_FR of Big_int.big_int
  65. | NUMBERNAT of Big_int.big_int
  66. | NUMBERINT of Big_int.big_int
  67. | NO_TRANSFER
  68. | NOT
  69. | NONE
  70. | NEQUAL
  71. | NAMESPACE
  72. | MULTEQUAL
  73. | MULT
  74. | MTZ of string
  75. | MINUSEQUAL
  76. | MINUS
  77. | MICHELSON
  78. | MATCH_DETACH
  79. | MATCH
  80. | MAP
  81. | MAKE_SET
  82. | MAKE_MAP
  83. | MAKE_LIST
  84. | MAKE_EVENT
  85. | MAKE_BIG_MAP
  86. | MAKE_ASSET
  87. | LPAREN
  88. | LIST
  89. | LET
  90. | LESS_LESS_PIPE
  91. | LESS_EQUAL_GREATER
  92. | LESSEQUAL
  93. | LESS
  94. | LEFT
  95. | LBRACKET
  96. | LBRACE
  97. | LAMBDA_MICHELSON
  98. | LAMBDA
  99. | ITERABLE_BIG_MAP
  100. | ITER
  101. | IS
  102. | INVALID_EXPR
  103. | INVALID_EFFECT
  104. | INVALID_DECL
  105. | INITIALIZED
  106. | INITIAL
  107. | IN
  108. | IMPORT
  109. | IMPLY
  110. | IF
  111. | IDENTIFIED
  112. | IDENT of string
  113. | GREATEREQUAL
  114. | GREATER
  115. | GLOBAL_CONSTANT
  116. | GET_ENTRYPOINT
  117. | GETTER
  118. | FUNCTION
  119. | FROM
  120. | FOR
  121. | FOLD
  122. | FALSE
  123. | FAIL_IF
  124. | FAILSOME
  125. | FAILEXPR
  126. | FAIL
  127. | EVENT
  128. | EQUAL
  129. | EOF
  130. | ENUM
  131. | ENTRY
  132. | END
  133. | EMIT
  134. | ELSE
  135. | EFFECT
  136. | DURATION of string
  137. | DO_REQUIRE
  138. | DO_FAIL_IF
  139. | DOT
  140. | DONE
  141. | DO
  142. | DIVEQUAL
  143. | DIV
  144. | DETACH
  145. | DECIMAL of string
  146. | DATE of string
  147. | CONTRACT
  148. | CONSTANT
  149. | CONST
  150. | COMMA
  151. | COLONEQUAL
  152. | COLONCOLON
  153. | COLON
  154. | CALL_VIEW
  155. | CALLED
  156. | CALL
  157. | BYTES_G2 of string
  158. | BYTES_G1 of string
  159. | BYTES_FR of string
  160. | BYTES of string
  161. | BY
  162. | BIG_MAP
  163. | BEGIN
  164. | ASSET_VIEW
  165. | ASSET_VALUE
  166. | ASSET_KEY
  167. | ASSET_CONTAINER
  168. | ASSET
  169. | AS
  170. | ARCHETYPE
  171. | ANY
  172. | ANNOTATION of string
  173. | AND
  174. | AMPEQUAL
  175. | AGGREGATE
  176. | ADDRESS_TO_CONTRACT
  177. | ADDRESS of string
  178. | ACCEPT_TRANSFER
exception Error
val start_expr : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ParseTree.expr
module MenhirInterpreter : sig ... end
module Incremental : sig ... end