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/Remove_last_in_patterns/index.html
Module Remove_last_in_patterns
val add :
Ident.Env.key ->
Deftypes.typ ->
Deftypes.tsort ->
(Deftypes.tentry Ident.Env.t
* Deftypes.tentry Ident.Env.t
* Ident.t Ident.Env.t
* Zelus.eq list) ->
Deftypes.tentry Ident.Env.t
* Deftypes.tentry Ident.Env.t
* Ident.t Ident.Env.t
* Zelus.eq listval valenv :
Ident.t Ident.Env.t ->
Deftypes.tentry Ident.Env.t ->
Deftypes.tentry Ident.Env.t
* Deftypes.tentry Ident.Env.t
* Ident.t Ident.Env.t
* Zelus.eq listval extend_block :
'a Zelus.block ->
Deftypes.tentry Ident.Env.t ->
Zelus.eq list ->
'a Zelus.blockval present_handlers :
Ident.t Ident.Env.t ->
(Ident.t Ident.Env.t -> Zelus.scondpat -> Zelus.scondpat) ->
(Ident.t Ident.Env.t ->
'a ->
Deftypes.tentry Ident.Env.t ->
Zelus.eq list ->
'b) ->
'a Zelus.present_handler list ->
'b Zelus.present_handler listval exp : Ident.t Ident.Env.t -> Zelus.exp -> Zelus.expval equation : Ident.t Ident.Env.t -> Zelus.eq -> Zelus.eqTranslation of equations.
val equation_list : Ident.t Ident.Env.t -> Zelus.eq list -> Zelus.eq listval block_eq_list :
Ident.t Ident.Env.t ->
Zelus.eq list Zelus.block ->
Zelus.eq list Zelus.blockval present_handler_exp_list :
Ident.t Ident.Env.t ->
Zelus.exp Zelus.present_handler list ->
Zelus.exp Zelus.present_handler listval present_handler_block_eq_list :
Ident.t Ident.Env.t ->
Zelus.eq list Zelus.block Zelus.present_handler list ->
Zelus.eq list Zelus.block Zelus.present_handler listval match_handler_exp_list :
Ident.t Ident.Env.t ->
Zelus.exp Zelus.match_handler list ->
Zelus.exp Zelus.match_handler listval match_handler_block_eq_list :
Ident.t Ident.Env.t ->
Zelus.eq list Zelus.block Zelus.match_handler list ->
Zelus.eq list Zelus.block Zelus.match_handler listval local : Ident.t Ident.Env.t -> Zelus.local -> Zelus.localval locals : Ident.t Ident.Env.t -> Zelus.local list -> Zelus.local listval scondpat : Ident.t Ident.Env.t -> Zelus.scondpat -> Zelus.scondpatval 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