package archetype

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