package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

dune-project

Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

Maintainers

M

Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.1.tar.gz

sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862

md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Global/index.html

Module `Global`

type 'a info = {

qualid : Lident.qualident;
info : 'a;

}

type value_desc = {

mutable value_typ : Deftypes.typ_scheme;
mutable value_static : bool;
mutable value_caus : Defcaus.tc_scheme option;
mutable value_init : Definit.ti_scheme option;
mutable value_code : value_code;

}

and value_exp =

| Vconst of Deftypes.immediate
| Vconstr0 of Lident.qualident
| Vconstr1 of Lident.qualident * value_code list
| Vtuple of value_code list
| Vrecord of (Lident.qualident * value_code) list
| Vperiod of value_code Zelus.period
| Vfun of Zelus.funexp * value_code Ident.Env.t
| Vabstract of Lident.qualident

The type of values

and value_code = {

value_exp : value_exp;
value_name : Lident.qualident option;

}

type constr_desc = {

constr_arg : Deftypes.typ list;
constr_res : Deftypes.typ;
constr_arity : int;

}

and label_desc = {

label_arg : Deftypes.typ;
label_res : Deftypes.typ;

}

type type_desc = {

mutable type_desc : type_components;
mutable type_parameters : int list;

}

and type_components =

| Abstract_type
| Variant_type of constr_desc info list
| Record_type of label_desc info list
| Abbrev of Deftypes.typ list * Deftypes.typ

val value_code : value_exp -> value_code

val value_name : Lident.qualident -> value_code -> value_code

val value_desc : bool -> Deftypes.typ_scheme -> Lident.qualident -> value_desc

val set_type : value_desc info -> Deftypes.typ_scheme -> unit

val set_causality : value_desc info -> Defcaus.tc_scheme -> unit

val set_init : value_desc info -> Definit.ti_scheme -> unit

val set_value_code : value_desc info -> value_code -> unit