package zelus
A synchronous language with ODEs
Install
Dune Dependency
Authors
Maintainers
Sources
2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6
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 :
(Zident.t * Zident.t * Deftypes.typ) Zident.Env.t ->
Deftypes.tentry Zident.Env.t ->
(Zident.t * Zident.t * Deftypes.typ) Zident.Env.t
* Zelus.vardec list
* Deftypes.tentry Zident.Env.tval defnames :
(Zident.S.elt * Zident.S.elt * 'a) Zident.Env.t ->
Deftypes.defnames ->
Deftypes.defnamesval split :
Zelus.scondpat ->
Zelus.exp list * Zelus.pattern list * Zelus.exp listval pattern :
(Zident.t * Zident.t * Deftypes.typ) Zident.Env.t ->
Zelus.pattern ->
Zelus.patternval exp :
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t ->
Zelus.exp ->
Zelus.expval equation :
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t ->
Zelus.eq list ->
Zelus.eq ->
Zelus.eq listval equation_list :
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t ->
Zelus.eq list ->
Zelus.eq listval local :
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t ->
Zelus.local ->
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t * Zelus.localval locals :
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t ->
Zelus.local list ->
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t * Zelus.local listval block :
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t ->
Zelus.eq list Zelus.block ->
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t
* Zelus.eq list Zelus.blockval match_handler :
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t ->
Zelus.eq list Zelus.block Zelus.match_handler ->
Zelus.eq list Zelus.block Zelus.match_handlerval present_handlers :
(Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.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