package zelus
A synchronous language with ODEs
Install
dune-project
Dependency
Authors
Maintainers
Sources
2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6
doc/zelus.zlcompilerlibs/Add_copy_for_last/index.html
Module Add_copy_for_last
val eq_last : Zident.t -> Zident.t -> Deftypes.typ -> Zelus.eqval add :
Zident.Env.key ->
Deftypes.typ ->
(Deftypes.tentry Zident.Env.t * Zident.t Zident.Env.t * Zelus.eq list) ->
Deftypes.tentry Zident.Env.t * Zident.t Zident.Env.t * Zelus.eq listval env :
Zident.t Zident.Env.t ->
Deftypes.tentry Zident.Env.t ->
Deftypes.tentry Zident.Env.t * Zident.t Zident.Env.t * Zelus.eq listval extend_block :
'a list Zelus.block ->
Deftypes.tentry Zident.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 : Zident.t Zident.Env.t -> Zelus.exp -> Zelus.expval equation : Zident.t Zident.Env.t -> Zelus.eq -> Zelus.eqTranslation of equations.
val equation_list : Zident.t Zident.Env.t -> Zelus.eq list -> Zelus.eq listval block_eq_list_with_substitution :
Zident.t Zident.Env.t ->
Zelus.eq list Zelus.block ->
Zident.t Zident.Env.t * Zelus.eq list Zelus.blockval block_eq_list :
Zident.t Zident.Env.t ->
Zelus.eq list Zelus.block ->
Zelus.eq list Zelus.blockval present_handler_exp_list :
Zident.t Zident.Env.t ->
Zelus.exp Zelus.present_handler list ->
Zelus.exp Zelus.present_handler listval present_handler_block_eq_list :
Zident.t Zident.Env.t ->
Zelus.eq list Zelus.block Zelus.present_handler list ->
Zelus.eq list Zelus.block Zelus.present_handler listval match_handler_exp_list :
Zident.t Zident.Env.t ->
Zelus.exp Zelus.match_handler list ->
Zelus.exp Zelus.match_handler listval match_handler_block_eq_list :
Zident.t Zident.Env.t ->
Zelus.eq list Zelus.block Zelus.match_handler list ->
Zelus.eq list Zelus.block Zelus.match_handler listval local :
Zident.t Zident.Env.t ->
Zelus.local ->
Zelus.local * Zident.t Zident.Env.tval locals :
Zident.t Zident.Env.t ->
Zelus.local list ->
Zelus.local list * Zident.t Zident.Env.tval scondpat : Zident.t Zident.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