package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install

Dune Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Zparser/index.html

Module Zparser

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 : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Zparsetree.interface list
val interface_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Zparsetree.interface list
val implementation_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Zparsetree.implementation list
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct