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. | MATCH
  61. | MAP
  62. | MAIN_SSBLOCKSTART
  63. | MAIN_P_ANNOT
  64. | MAIN_PSBLOCKSTART
  65. | MAIN_B_ANNOT
  66. | LTE
  67. | LT
  68. | LSQBRACKET
  69. | LSH
  70. | LPAREN
  71. | LET
  72. | LEMMA
  73. | LCURLYBRACKET
  74. | LAZY_IMPL
  75. | LAST
  76. | INVARIANT
  77. | INTDIV
  78. | INT8
  79. | INT64
  80. | INT32
  81. | INT16
  82. | INT
  83. | IN
  84. | IMPORTED
  85. | IMPORTCONTRACT
  86. | IMPL
  87. | IF
  88. | HISTORY
  89. | HASH
  90. | GUARANTEE
  91. | GTE
  92. | GT
  93. | FUNCTION
  94. | FROM
  95. | FRAME
  96. | FOREACH
  97. | FORALL
  98. | FI
  99. | FBY
  100. | FALSE
  101. | EXISTS
  102. | EVERY
  103. | EQUALS
  104. | EOF
  105. | ENUM
  106. | ENSURE
  107. | END
  108. | ELSIF
  109. | ELSE
  110. | DOUBLE_COLON
  111. | DOTDOT
  112. | DOT
  113. | DIV
  114. | DECREASES
  115. | DECIMAL of HString.t
  116. | DATATYPE
  117. | CONTRACT_SSATBLOCK
  118. | CONTRACT_PSATBLOCK
  119. | CONTRACT
  120. | CONST
  121. | COND
  122. | CONCAT
  123. | CON
  124. | COMMA
  125. | COLON
  126. | CHOOSE
  127. | CHECK
  128. | CARET
  129. | BVOR
  130. | BVNOT
  131. | BVAND
  132. | BOOL
  133. | BAR
  134. | AUTO
  135. | ATSIGN
  136. | AT
  137. | ASSUMP_VARS
  138. | ASSUME
  139. | ASSIGN
  140. | ASSERT
  141. | ARROW
  142. | ANY
  143. | AND_THEN
  144. | AND
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