package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | WITH
  2. | WHERE
  3. | VAL
  4. | UP
  5. | UNTIL
  6. | UNLESS
  7. | UNDERSCORE
  8. | TYPE
  9. | THEN
  10. | TEST
  11. | SUBTRACTIVE of string
  12. | STRING of string
  13. | STATIC
  14. | STAR
  15. | SFUN
  16. | SEMISEMI
  17. | SEMI
  18. | RUN
  19. | RPAREN
  20. | RESET
  21. | REC
  22. | RBRACKETBAR
  23. | RBRACKET
  24. | RBRACE
  25. | QUOTE
  26. | PROBA
  27. | PRESENT
  28. | PREFIX of string
  29. | PRE
  30. | PLUSEQUAL
  31. | PLUS
  32. | PFUN
  33. | PERIOD
  34. | OUT
  35. | OR
  36. | OPEN
  37. | ON
  38. | OF
  39. | NODE
  40. | NEXT
  41. | MINUSGREATER
  42. | MINUS
  43. | MATCH
  44. | LPAREN
  45. | LOCAL
  46. | LET
  47. | LBRACKETBAR
  48. | LBRACKET
  49. | LBRACE
  50. | LAST
  51. | INT of int
  52. | INLINE
  53. | INITIALIZE
  54. | INIT
  55. | INFIX4 of string
  56. | INFIX3 of string
  57. | INFIX2 of string
  58. | INFIX1 of string
  59. | INFIX0 of string
  60. | IN
  61. | IF
  62. | IDENT of string
  63. | HYBRID
  64. | FUN
  65. | FORALL
  66. | FLOAT of float
  67. | FBY
  68. | EXTERNAL
  69. | EXCEPTION
  70. | EVERY
  71. | EQUALEQUAL
  72. | EQUAL
  73. | EOF
  74. | END
  75. | EMIT
  76. | ELSE
  77. | DOTDOT
  78. | DOT
  79. | DONE
  80. | DO
  81. | DISCRETE
  82. | DISC
  83. | DFUN
  84. | DER
  85. | DEFAULT
  86. | CONTINUE
  87. | CONSTRUCTOR of string
  88. | COMMA
  89. | COLONCOLON
  90. | COLON
  91. | CHAR of char
  92. | CFUN
  93. | BOOL of bool
  94. | BEFORE
  95. | BARBAR
  96. | BAR
  97. | AUTOMATON
  98. | ATOMIC
  99. | ASFUN
  100. | AS
  101. | AND
  102. | AMPERSAND
  103. | AMPERAMPER
  104. | AFUN
  105. | ADFUN
exception Error
val scalar_interface_file : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Zparsetree.interface list
val interface_file : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Zparsetree.interface list
val implementation_file : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Zparsetree.implementation list
module MenhirInterpreter : sig ... end
module Incremental : sig ... end