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/Add_copy_for_last/index.html
Module Add_copy_for_last
val eq_last : Ident.t -> Ident.t -> Deftypes.typ -> Zelus.eqval add :
Ident.Env.key ->
Deftypes.typ ->
(Deftypes.tentry Ident.Env.t * Ident.t Ident.Env.t * Zelus.eq list) ->
Deftypes.tentry Ident.Env.t * Ident.t Ident.Env.t * Zelus.eq listval env :
Ident.t Ident.Env.t ->
Deftypes.tentry Ident.Env.t ->
Deftypes.tentry Ident.Env.t * Ident.t Ident.Env.t * Zelus.eq listval extend_block :
'a list Zelus.block ->
Deftypes.tentry Ident.Env.t ->
'a list ->
'a list Zelus.blockval present_handlers :
(Zelus.scondpat -> Zelus.scondpat) ->
('a -> '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_with_substitution :
Ident.t Ident.Env.t ->
Zelus.eq list Zelus.block ->
Ident.t Ident.Env.t * Zelus.eq list Zelus.blockval 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.local * Ident.t Ident.Env.tval locals :
Ident.t Ident.Env.t ->
Zelus.local list ->
Zelus.local list * Ident.t Ident.Env.tval 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