package archetype

  1. Overview
  2. Docs

Module Archetype.ParserSource

Sourcetype 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. | PIPE
  35. | PERCENTRBRACKET
  36. | PERCENT
  37. | PARTITION
  38. | OTHERWISE
  39. | OREQUAL
  40. | OR
  41. | OPTION
  42. | ON
  43. | OF
  44. | NUMBER of Big_int.big_int
  45. | NOT
  46. | NONE
  47. | NEQUAL
  48. | NAMESPACE
  49. | MULTEQUAL
  50. | MULT
  51. | MTZ of Big_int.big_int
  52. | MINUSEQUAL
  53. | MINUS
  54. | MATCH
  55. | LPAREN
  56. | LET
  57. | LESSEQUAL
  58. | LESS
  59. | LEMMA
  60. | LBRACKETPERCENT
  61. | LBRACKET
  62. | LBRACE
  63. | LABEL
  64. | ITER
  65. | INVARIANT
  66. | INVALID_EXPR
  67. | INVALID_EFFECT
  68. | INVALID_DECL
  69. | INSTANCE
  70. | INITIALIZED
  71. | INITIAL
  72. | IN
  73. | IMPLY
  74. | IF
  75. | IDENTIFIED
  76. | IDENT of string
  77. | GREATEREQUAL
  78. | GREATER
  79. | FUNCTION
  80. | FROM
  81. | FORALL
  82. | FOR
  83. | FALSE
  84. | FAILIF
  85. | EXTENSION
  86. | EXISTS
  87. | EQUIV
  88. | EQUAL
  89. | EOF
  90. | ENUM
  91. | END
  92. | ELSE
  93. | EFFECT
  94. | DURATION of string
  95. | DOT
  96. | DONE
  97. | DO
  98. | DIVEQUAL
  99. | DIV
  100. | DEFINITION
  101. | DATE of string
  102. | CONTRACT
  103. | CONSTANT
  104. | COMMA
  105. | COLONEQUAL
  106. | COLON
  107. | COLLECTION
  108. | CALLED
  109. | BY
  110. | BUT
  111. | BREAK
  112. | BEFORE
  113. | BACK
  114. | AT_UPDATE
  115. | AT_REMOVE
  116. | AT_ADD
  117. | AT
  118. | ASSET
  119. | ASSERT
  120. | ARCHETYPE
  121. | ANDEQUAL
  122. | AND
  123. | ADDRESS of string
  124. | ACTION
  125. | ACCEPT_TRANSFER
Sourceexception Error
Sourcemodule MenhirInterpreter : sig ... end
Sourcemodule Incremental : sig ... end