package zelus
A synchronous language with ODEs
Install
Dune Dependency
Authors
Maintainers
Sources
2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6
doc/zelus.zlcompilerlibs/Remove_last_in_patterns/index.html
Module Remove_last_in_patterns
val add :
Zident.Env.key ->
Deftypes.typ ->
Deftypes.tsort ->
(Deftypes.tentry Zident.Env.t
* Deftypes.tentry Zident.Env.t
* Zident.t Zident.Env.t
* Zelus.eq list) ->
Deftypes.tentry Zident.Env.t
* Deftypes.tentry Zident.Env.t
* Zident.t Zident.Env.t
* Zelus.eq listval valenv :
Zident.t Zident.Env.t ->
Deftypes.tentry Zident.Env.t ->
Deftypes.tentry Zident.Env.t
* Deftypes.tentry Zident.Env.t
* Zident.t Zident.Env.t
* Zelus.eq listval extend_block :
'a Zelus.block ->
Deftypes.tentry Zident.Env.t ->
Zelus.eq list ->
'a Zelus.blockval present_handlers :
Zident.t Zident.Env.t ->
(Zident.t Zident.Env.t -> Zelus.scondpat -> Zelus.scondpat) ->
(Zident.t Zident.Env.t ->
'a ->
Deftypes.tentry Zident.Env.t ->
Zelus.eq list ->
'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 :
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.localval locals : Zident.t Zident.Env.t -> Zelus.local list -> Zelus.local listval 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