package archetype

  1. Overview
  2. Docs

Module Archetype.ParserSource

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