package zelus
A synchronous language with ODEs
Install
Dune Dependency
Authors
Maintainers
Sources
2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6
doc/zelus.zlcompilerlibs/Initial/index.html
Module Initial
val abstract_type :
Lident.qualident ->
int list ->
Global.type_desc Global.infoval abbrev_type :
Lident.qualident ->
int list ->
(Deftypes.typ list * Deftypes.typ) ->
Global.type_desc Global.infoval value :
Lident.qualident ->
Deftypes.typ_scheme ->
Global.value_desc Global.infoval stdlib_name : string -> Lident.qualidentval int_ident : Lident.qualidentval int32_ident : Lident.qualidentval int64_ident : Lident.qualidentval bool_ident : Lident.qualidentval zero_ident : Lident.qualidentval float_ident : Lident.qualidentval char_ident : Lident.qualidentval string_ident : Lident.qualidentval sig_ident : Lident.qualidentval unit_ident : Lident.qualidentval list_ident : Lident.qualidentval type_desc_int : Global.type_desc Global.infoval type_desc_int32 : Global.type_desc Global.infoval type_desc_int64 : Global.type_desc Global.infoval type_desc_zero : Global.type_desc Global.infoval type_desc_bool : Global.type_desc Global.infoval type_desc_float : Global.type_desc Global.infoval type_desc_char : Global.type_desc Global.infoval type_desc_string : Global.type_desc Global.infoval type_desc_unit : Global.type_desc Global.infoval type_desc_signal : Global.type_desc Global.infoval type_desc_list : Global.type_desc Global.infoval constr :
Lident.qualident ->
Deftypes.typ list ->
Deftypes.typ_desc Deftypes.locval array_ident : Lident.qualidentval type_desc_array : Global.type_desc Global.infoval empty_array_ident : Lident.qualidentval typ_int : Deftypes.typ_desc Deftypes.locval typ_int32 : Deftypes.typ_desc Deftypes.locval typ_int64 : Deftypes.typ_desc Deftypes.locval typ_bool : Deftypes.typ_desc Deftypes.locval typ_zero : Deftypes.typ_desc Deftypes.locval typ_char : Deftypes.typ_desc Deftypes.locval typ_string : Deftypes.typ_desc Deftypes.locval typ_float : Deftypes.typ_desc Deftypes.locval typ_unit : Deftypes.typ_desc Deftypes.locval typ_signal : Deftypes.typ -> Deftypes.typ_desc Deftypes.locval typ_array : Deftypes.typ -> Deftypes.typ_desc Deftypes.locval typ_list : Deftypes.typ -> Deftypes.typ_desc Deftypes.locval tglobal : Global.type_desc Global.info listval nil_ident : Lident.qualidentval cons_ident : Lident.qualidentval value_desc_nil : Global.value_desc Global.infoval value_desc_cons : Global.value_desc Global.infoval vglobal : Global.value_desc Global.info list