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. | EVENT
  121. | EQUIV
  122. | EQUAL
  123. | EOF
  124. | ENUM
  125. | ENTRYPOINT
  126. | ENTRY
  127. | END
  128. | EMPTYLIST
  129. | EMIT
  130. | ELSE
  131. | EFFECT
  132. | DURATION of string
  133. | DOT
  134. | DOREQUIRE
  135. | DONE
  136. | DOFAILIF
  137. | DO
  138. | DIVEQUAL
  139. | DIV
  140. | DEFINITION
  141. | DECIMAL of string
  142. | DATE of string
  143. | CONTRACT
  144. | CONSTANT
  145. | CONST
  146. | COMMA
  147. | COLONEQUAL
  148. | COLONCOLON
  149. | COLON
  150. | CALLVIEW
  151. | CALLED
  152. | CALL
  153. | BYTES of string
  154. | BY
  155. | BUT
  156. | BIG_MAP
  157. | BEGIN
  158. | BEFORE
  159. | AT_UPDATE
  160. | AT_REMOVE
  161. | AT_ADD
  162. | AT
  163. | ASSET_VIEW
  164. | ASSET
  165. | ASSERT
  166. | AS
  167. | ARCHETYPE
  168. | ANY
  169. | AND
  170. | AMPEQUAL
  171. | AGGREGATE
  172. | ADDRESS of string
  173. | ADDED
  174. | 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.