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/Initialization/index.html
Module Initialization
type error = | Iless_than of Definit.ti * Definit.ti| Iless_than_i of Definit.t * Definit.t| Ilast of Ident.t| Ivar of Ident.t| Ider of Ident.t
exception Error of Location.location * errorval error : Location.location -> error -> 'aval message : Location.location -> error -> 'aval less_than : Location.location -> Definit.ti -> Definit.ti -> unitval less_for_last :
Location.location ->
Ident.t ->
Definit.t ->
Definit.t ->
unitval less_for_var :
Location.location ->
Ident.t ->
Definit.ti ->
Definit.ti ->
unitval build_env :
Location.location ->
bool ->
Deftypes.tentry Ident.Env.t ->
Init.tentry Ident.Env.t ->
Init.tentry Ident.Env.tBuild an environment from a typing environment
val half : Init.tentry Ident.Env.t -> Init.tentry Ident.Env.tval last_env :
Ident.S.t ->
Deftypes.defnames ->
Init.tentry Ident.Env.t ->
Init.tentry Ident.Env.tBuild an environment from env by replacing the initialization
val add_last_to_env :
bool ->
Init.tentry Ident.Env.t ->
Ident.S.t ->
Init.tentry Ident.Env.tval split :
Zelus.state_exdesc Zelus.localized option ->
Zelus.state_handler list ->
Zelus.state_handler * Zelus.state_handler listval print : Ident.t -> 'aval initialized :
Location.location ->
Init.tentry Ident.Env.t ->
Ident.S.t ->
unitCheck that partially defined names have a last value which is initialized
val pattern :
bool ->
Init.tentry Ident.Env.t ->
Zelus.pattern ->
Definit.ti ->
unitPatterns
val pattern_less_than_on_i :
bool ->
Init.tentry Ident.Env.t ->
Zelus.pattern ->
Definit.t ->
unitval match_handlers :
bool ->
(bool -> Init.tentry Ident.Env.t -> 'a -> 'b) ->
Init.tentry Ident.Env.t ->
'a Zelus.match_handler list ->
unitMatch handler
val present_handlers :
bool ->
(bool -> Init.tentry Ident.Env.t -> Zelus.scondpat -> 'a) ->
(bool -> Init.tentry Ident.Env.t -> 'b -> 'c) ->
Init.tentry Ident.Env.t ->
'b Zelus.present_handler list ->
unitPresent handler
val exp : bool -> Init.tentry Ident.Env.t -> Zelus.exp -> Definit.tiInitialization of an expression
val operator :
bool ->
Init.tentry Ident.Env.t ->
Zelus.op ->
Deftypes.typ ->
Zelus.exp list ->
Definit.tiTyping an operator
val app :
bool ->
Init.tentry Ident.Env.t ->
Definit.ti ->
Zelus.exp list ->
Definit.tiTyping an application
val exp_less_than_on_i :
bool ->
Init.tentry Ident.Env.t ->
Zelus.exp ->
Definit.t ->
unitval opt_exp_less_than_on_i :
bool ->
Init.tentry Ident.Env.t ->
Zelus.exp option ->
Definit.t ->
unitval exp_less_than :
bool ->
Init.tentry Ident.Env.t ->
Zelus.exp ->
Definit.ti ->
unitval equation_list : bool -> Init.tentry Ident.Env.t -> Zelus.eq list -> unitChecking equations
val equation : bool -> Init.tentry Ident.Env.t -> Zelus.eq -> unitval present_handler_exp_list :
bool ->
Init.tentry Ident.Env.t ->
Zelus.exp Zelus.present_handler list ->
Definit.ti ->
unitval present_handler_block_eq_list :
bool ->
Ident.S.t ->
Init.tentry Ident.Env.t ->
Deftypes.defnames ->
Zelus.eq list Zelus.block Zelus.present_handler list ->
unitval match_handler_block_eq_list :
bool ->
Ident.S.t ->
Init.tentry Ident.Env.t ->
Deftypes.defnames ->
Zelus.eq list Zelus.block Zelus.match_handler list ->
unitval match_handler_exp_list :
bool ->
Init.tentry Ident.Env.t ->
Zelus.exp Zelus.match_handler list ->
Definit.ti ->
unitval block_eq_list :
Ident.S.t ->
bool ->
Init.tentry Ident.Env.t ->
Zelus.eq list Zelus.block ->
Init.tentry Ident.Env.tval local :
bool ->
Init.tentry Ident.Env.t ->
Zelus.local ->
Init.tentry Ident.Env.tval scondpat : bool -> Init.tentry Ident.Env.t -> Zelus.scondpat -> unitval implementation :
Format.formatter ->
Zelus.implementation_desc Zelus.localized ->
unitval implementation_list :
Format.formatter ->
Zelus.implementation_desc Zelus.localized list ->
Zelus.implementation_desc Zelus.localized list