Module LustreParser

type token =
  1. | XOR
  2. | WITHIN
  3. | WITH
  4. | WHEN
  5. | WEAKLY
  6. | VAR
  7. | UINT8
  8. | UINT64
  9. | UINT32
  10. | UINT16
  11. | UINT
  12. | TYPE
  13. | TRUE
  14. | TRANSPARENT
  15. | TICK
  16. | THEN
  17. | TEL
  18. | SYM of HString.t
  19. | SUBTYPE
  20. | SUBRANGE
  21. | STRUCT
  22. | STRING of HString.t
  23. | SSBLOCKEND
  24. | SINT
  25. | SET
  26. | SEMICOLON
  27. | RSQBRACKET
  28. | RSH
  29. | RPAREN
  30. | RETURNS
  31. | RESTART
  32. | REQUIRE
  33. | REC
  34. | REAL
  35. | REACHABLE
  36. | RCURLYBRACKET
  37. | QUESTION
  38. | PSBLOCKEND
  39. | PROVIDED
  40. | PROPERTY_SSBLOCKSTART
  41. | PROPERTY_PSBLOCKSTART
  42. | PROPERTY_ANNOT
  43. | PRE
  44. | PLUS
  45. | PARAM
  46. | OTHERWISE
  47. | OR_ELSE
  48. | OR
  49. | OPAQUE
  50. | OF
  51. | NUMERAL of HString.t
  52. | NOT
  53. | NODE
  54. | NOC
  55. | NEQ
  56. | MULT
  57. | MODE
  58. | MOD
  59. | MINUS
  60. | MERGE
  61. | MATCH
  62. | MAP
  63. | MAIN_SSBLOCKSTART
  64. | MAIN_P_ANNOT
  65. | MAIN_PSBLOCKSTART
  66. | MAIN_B_ANNOT
  67. | LTE
  68. | LT
  69. | LSQBRACKET
  70. | LSH
  71. | LPAREN
  72. | LET
  73. | LEMMA
  74. | LCURLYBRACKET
  75. | LAZY_IMPL
  76. | LAST
  77. | INVARIANT
  78. | INTDIV
  79. | INT8
  80. | INT64
  81. | INT32
  82. | INT16
  83. | INT
  84. | INITIAL
  85. | IN
  86. | IMPORTED
  87. | IMPORTCONTRACT
  88. | IMPL
  89. | IF
  90. | HISTORY
  91. | HASH
  92. | GUARANTEE
  93. | GTE
  94. | GT
  95. | FUNCTION
  96. | FROM
  97. | FRAME
  98. | FORALL
  99. | FI
  100. | FBY
  101. | FALSE
  102. | EXISTS
  103. | EVERY
  104. | EQUALS
  105. | EOF
  106. | ENUM
  107. | ENSURE
  108. | END
  109. | ELSIF
  110. | ELSE
  111. | DOUBLE_COLON
  112. | DOTDOT
  113. | DOT
  114. | DIV
  115. | DEFAULT
  116. | DECREASES
  117. | DECIMAL of HString.t
  118. | DATATYPE
  119. | CURRENT
  120. | CONTRACT_SSATBLOCK
  121. | CONTRACT_PSATBLOCK
  122. | CONTRACT
  123. | CONST
  124. | CONDACT
  125. | COND
  126. | CONCAT
  127. | CON
  128. | COMMA
  129. | COLON
  130. | CHOOSE
  131. | CHECK
  132. | CARET
  133. | BVOR
  134. | BVNOT
  135. | BVAND
  136. | BOOL
  137. | BAR
  138. | AUTO
  139. | ATSIGN
  140. | AT
  141. | ASSUMP_VARS
  142. | ASSUME
  143. | ASSIGN
  144. | ASSERT
  145. | ARROW
  146. | ANY
  147. | AND_THEN
  148. | AND
  149. | ACTIVATE
exception Error
val one_expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> LustreAst.expr
val main : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> LustreAst.t
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
module Tables : MenhirLib.TableFormat.TABLES with type token = token