package archetype

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