package archetype

  1. Overview
  2. Docs
type token =
  1. | WITH
  2. | WHILE
  3. | WHEN
  4. | VIEW
  5. | VARIABLE
  6. | VAR
  7. | UTZ of Big_int.big_int
  8. | USE
  9. | UNPACK
  10. | UNMOVED
  11. | UNDERSCORE
  12. | TZ of Big_int.big_int
  13. | TRUE
  14. | TRANSITION
  15. | TRANSFER
  16. | TO
  17. | THEN
  18. | STRING of string
  19. | STATES
  20. | SPECIFICATION
  21. | SORTED
  22. | SOME
  23. | SLASH
  24. | SHADOW
  25. | SET
  26. | SEMI_COLON
  27. | SELF
  28. | SECURITY
  29. | RPAREN
  30. | RETURN
  31. | REQUIRE
  32. | REMOVED
  33. | REFUSE_TRANSFER
  34. | REF
  35. | RECORD
  36. | RBRACKET
  37. | RBRACE
  38. | PREDICATE
  39. | POSTCONDITION
  40. | PLUSEQUAL
  41. | PLUS
  42. | PKEY
  43. | PIPEEQUAL
  44. | PIPE
  45. | PERCENT_LIT of Big_int.big_int
  46. | PERCENTRBRACKET
  47. | PERCENT
  48. | PARTITION
  49. | OTHERWISE
  50. | OR
  51. | OPTION
  52. | ON
  53. | NUMBERNAT of Big_int.big_int
  54. | NUMBERINT of Big_int.big_int
  55. | NOT
  56. | NONE
  57. | NEQUAL
  58. | NAMESPACE
  59. | MULTEQUAL
  60. | MULT
  61. | MTZ of Big_int.big_int
  62. | MINUSEQUAL
  63. | MINUS
  64. | MATCH
  65. | MAP
  66. | LPAREN
  67. | LIST
  68. | LET
  69. | LESSEQUAL
  70. | LESS
  71. | LBRACKETPERCENT
  72. | LBRACKET
  73. | LBRACE
  74. | LABEL
  75. | ITER
  76. | INVARIANT
  77. | INVALID_EXPR
  78. | INVALID_EFFECT
  79. | INVALID_DECL
  80. | INITIALIZED
  81. | INITIAL
  82. | IN
  83. | IMPLY
  84. | IF
  85. | IDENTIFIED
  86. | IDENT of string
  87. | GREATEREQUAL
  88. | GREATER
  89. | FUNCTION
  90. | FROM
  91. | FORALL
  92. | FOR
  93. | FALSE
  94. | FAILIF
  95. | FAIL
  96. | EXTENSION
  97. | EXISTS
  98. | EQUIV
  99. | EQUAL
  100. | EOF
  101. | ENUM
  102. | ENTRYSIG
  103. | ENTRYPOINT
  104. | ENTRY
  105. | END
  106. | ELSE
  107. | EFFECT
  108. | DURATION of string
  109. | DOT
  110. | DOREQUIRE
  111. | DONE
  112. | DOFAILIF
  113. | DO
  114. | DIVEQUAL
  115. | DIV
  116. | DEFINITION
  117. | DECIMAL of string
  118. | DATE of string
  119. | CONTRACT
  120. | CONSTANT
  121. | COMMA
  122. | COLONEQUAL
  123. | COLON
  124. | CALLED
  125. | CALL
  126. | BYTES of string
  127. | BY
  128. | BUT
  129. | BREAK
  130. | BEFORE
  131. | AT_UPDATE
  132. | AT_REMOVE
  133. | AT_ADD
  134. | AT
  135. | ASSET
  136. | ASSERT
  137. | ARCHETYPE
  138. | ANY
  139. | AND
  140. | AMPEQUAL
  141. | AGGREGATE
  142. | ADDRESS of string
  143. | ADDED
  144. | ACCEPT_TRANSFER
exception Error
val start_expr : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ParseTree.expr
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
OCaml

Innovation. Community. Security.