package archetype

  1. Overview
  2. Docs
type token =
  1. | WITH
  2. | WHEN
  3. | VARIABLE
  4. | UNDERSCORE
  5. | TZ of Big_int.big_int
  6. | TRUE
  7. | TRANSITION
  8. | TRANSFER
  9. | TO
  10. | THEOREM
  11. | THEN
  12. | STRING of string
  13. | STATES
  14. | SPECIFICATION
  15. | SORTED
  16. | SOME
  17. | SEMI_COLON
  18. | SECURITY
  19. | RPAREN
  20. | RETURN
  21. | REQUIRE
  22. | REFUSE_TRANSFER
  23. | REF
  24. | RECORD
  25. | RBRACKET
  26. | RBRACE
  27. | RATIONAL of Big_int.big_int * Big_int.big_int
  28. | PREDICATE
  29. | POSTCONDITION
  30. | PLUSEQUAL
  31. | PLUS
  32. | PIPE
  33. | PERCENTRBRACKET
  34. | PERCENT
  35. | PARTITION
  36. | OTHERWISE
  37. | OREQUAL
  38. | OR
  39. | OPTION
  40. | ON
  41. | OF
  42. | NUMBER of Big_int.big_int
  43. | NOT
  44. | NONE
  45. | NEQUAL
  46. | NAMESPACE
  47. | MULTEQUAL
  48. | MULT
  49. | MTZ of Big_int.big_int
  50. | MINUSEQUAL
  51. | MINUS
  52. | MATCH
  53. | LPAREN
  54. | LET
  55. | LESSEQUAL
  56. | LESS
  57. | LEMMA
  58. | LBRACKETPERCENT
  59. | LBRACKET
  60. | LBRACE
  61. | ITER
  62. | INVARIANT
  63. | INVALID_EXPR
  64. | INVALID_EFFECT
  65. | INVALID_DECL
  66. | INSTANCE
  67. | INITIALIZED
  68. | INITIAL
  69. | IN
  70. | IMPLY
  71. | IF
  72. | IDENTIFIED
  73. | IDENT of string
  74. | GREATEREQUAL
  75. | GREATER
  76. | FUNCTION
  77. | FROM
  78. | FORALL
  79. | FOR
  80. | FALSE
  81. | FAILIF
  82. | EXTENSION
  83. | EXISTS
  84. | EQUIV
  85. | EQUAL
  86. | EOF
  87. | ENUM
  88. | END
  89. | ELSE
  90. | EFFECT
  91. | DURATION of string
  92. | DOT
  93. | DIVEQUAL
  94. | DIV
  95. | DEFINITION
  96. | DATE of string
  97. | CONTRACT
  98. | CONSTANT
  99. | COMMA
  100. | COLONEQUAL
  101. | COLONCOLON
  102. | COLON
  103. | COLLECTION
  104. | CALLED
  105. | BY
  106. | BUT
  107. | BREAK
  108. | BACK
  109. | AT_UPDATE
  110. | AT_REMOVE
  111. | AT_ADD
  112. | AT
  113. | ASSET
  114. | ASSERT
  115. | ARCHETYPE
  116. | ANDEQUAL
  117. | AND
  118. | ADDRESS of string
  119. | ACTION
  120. | ACCEPT_TRANSFER
exception Error
val start_expr : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ParseTree.expr
module MenhirInterpreter : sig ... end
module Incremental : sig ... end