package archetype

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