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