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/Aform/index.html
Module Aform
val find : Zident.Env.key -> 'a Zident.Env.t -> 'aval exp_of_name : Zident.Env.key -> ('a * 'b) Zident.Env.t -> 'bval pat_of_name : Zident.Env.key -> ('a * 'b) Zident.Env.t -> 'aval name_of_name :
Zident.Env.key ->
(Zelus.pattern * 'a) Zident.Env.t ->
Zident.tval build :
Deftypes.tentry Zident.Env.t ->
(Zelus.pattern * Zelus.exp) Zident.Env.t ->
(Zelus.pattern * Zelus.exp) Zident.Env.t * Deftypes.tentry Zident.Env.tval matching :
(Zelus.pattern -> Zelus.exp -> 'a) ->
'a list ->
Zelus.pattern ->
Zelus.exp ->
'a listval matching_list :
(Zelus.pattern -> Zelus.exp -> 'a) ->
'a list ->
Zelus.pattern list ->
Zelus.exp list ->
'a listval expression :
(Zelus.pattern * Zelus.exp) Zident.Env.t ->
Zelus.exp ->
Zelus.expexpressions
val local :
(Zelus.pattern * Zelus.exp) Zident.Env.t ->
Zelus.local ->
(Zelus.pattern * Zelus.exp) Zident.Env.t * Zelus.localLocal declarations
val pattern :
(Zelus.pattern * Zelus.exp) Zident.Env.t ->
Zelus.pattern ->
Zelus.patternval equation :
(Zelus.pattern * Zelus.exp) Zident.Env.t ->
Zelus.eq list ->
Zelus.eq ->
Zelus.eq listval equation_list :
(Zelus.pattern * Zelus.exp) Zident.Env.t ->
Zelus.eq list ->
Zelus.eq listval handler :
(Zelus.pattern * Zelus.exp) Zident.Env.t ->
Zelus.eq list Zelus.block Zelus.match_handler ->
Zelus.eq list Zelus.block Zelus.match_handlerval block :
(Zelus.pattern * Zelus.exp) Zident.Env.t ->
Zelus.eq list Zelus.block ->
Zelus.eq list Zelus.blockval 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