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

Innovation. Community. Security.