package zelus
A synchronous language with ODEs
Install
dune-project
Dependency
Authors
Maintainers
Sources
2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b
doc/zelus.zlcompilerlibs/Parser/index.html
Module Parser
type token = | WITH| WHERE| VAL| UP| UNTIL| UNLESS| UNDERSCORE| TYPE| THEN| TEST| SUBTRACTIVE of string| STRING of string| STATIC| STAR| SFUN| SEMISEMI| SEMI| RUN| RPAREN| RESET| REC| RBRACKETBAR| RBRACKET| RBRACE| QUOTE| PROBA| PRESENT| PREFIX of string| PRE| PLUSEQUAL| PLUS| PFUN| PERIOD| OUT| OR| OPEN| ON| OF| NODE| NEXT| MINUSGREATER| MINUS| MATCH| LPAREN| LOCAL| LET| LBRACKETBAR| LBRACKET| LBRACE| LAST| INT of int| INLINE| INITIALIZE| INIT| INFIX4 of string| INFIX3 of string| INFIX2 of string| INFIX1 of string| INFIX0 of string| IN| IF| IDENT of string| HYBRID| FUN| FORALL| FLOAT of float| FBY| EXTERNAL| EXCEPTION| EVERY| EQUALEQUAL| EQUAL| EOF| END| EMIT| ELSE| DOTDOT| DOT| DONE| DO| DISCRETE| DISC| DFUN| DER| DEFAULT| CONTINUE| CONSTRUCTOR of string| COMMA| COLONCOLON| COLON| CHAR of char| CFUN| BOOL of bool| BEFORE| BARBAR| BAR| AUTOMATON| ATOMIC| ASFUN| AS| AND| AMPERSAND| AMPERAMPER| AFUN| ADFUN
val scalar_interface_file :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Parsetree.interface listval interface_file :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Parsetree.interface listval implementation_file :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Parsetree.implementation listmodule MenhirInterpreter : sig ... endmodule Incremental : sig ... end