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