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/Present/index.html
Module Present
val emit : 'a -> 'a * Zelus.exprepresentation of signals
val presentpat : Zelus.pattern -> Zelus.patternval test : Zelus.exp -> Zelus.descval eq_match :
bool ->
Zelus.exp ->
Zelus.eq list Zelus.block Zelus.match_handler list ->
Zelus.eqval build :
(Ident.t * Ident.t * Deftypes.typ) Ident.Env.t ->
Deftypes.tentry Ident.Env.t ->
(Ident.t * Ident.t * Deftypes.typ) Ident.Env.t
* Zelus.vardec list
* Deftypes.tentry Ident.Env.tval defnames :
(Ident.S.elt * Ident.S.elt * 'a) Ident.Env.t ->
Deftypes.defnames ->
Deftypes.defnamesval split :
Zelus.scondpat ->
Zelus.exp list * Zelus.pattern list * Zelus.exp listval pattern :
(Ident.t * Ident.t * Deftypes.typ) Ident.Env.t ->
Zelus.pattern ->
Zelus.patternval exp :
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
Zelus.exp ->
Zelus.expval equation :
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
Zelus.eq list ->
Zelus.eq ->
Zelus.eq listval equation_list :
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
Zelus.eq list ->
Zelus.eq listval local :
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
Zelus.local ->
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t * Zelus.localval locals :
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
Zelus.local list ->
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t * Zelus.local listval block :
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
Zelus.eq list Zelus.block ->
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t
* Zelus.eq list Zelus.blockval match_handler :
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
Zelus.eq list Zelus.block Zelus.match_handler ->
Zelus.eq list Zelus.block Zelus.match_handlerval present_handlers :
(Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
Zelus.eq list ->
Zelus.eq list Zelus.block Zelus.present_handler list ->
Zelus.eq list Zelus.block option ->
Zelus.eq listval implementation :
Zelus.implementation_desc Zelus.localized ->
Zelus.implementation_desc Zelus.localizedval implementation_list :
Zelus.implementation_desc Zelus.localized list ->
Zelus.implementation_desc Zelus.localized list