package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

Dune Dependency

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

Authors

Maintainers

M

Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.2.tar.gz

md5=437ae922f1fda392efca3e37e8b8bb4c

sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Lmm/index.html

Module `Lmm`

type name = string

type op =

| Lunarypre
| Lfby
| Lminusgreater
| Lifthenelse
| Lsharp
| Lop of Lident.t

type immediate =

| Lint of int
| Lfloat of float
| Lbool of bool
| Lchar of char
| Lstring of string
| Lvoid

type constr0pat =

| Lconstr0pat of Lident.t
| Lboolpat of bool

type exp =

| Llocal of Zident.t
| Llast of Zident.t
| Lglobal of Lident.t
| Lconst of immediate
| Lconstr0 of Lident.t
| Lapp of op * exp list
| Lrecord_access of exp * Lident.t
| Lrecord of (Lident.t * exp) list
| Ltuple of exp list
| Lget of exp * int
| Lmerge of exp * (constr0pat * exp) list
| Lwhen of exp * constr0pat * exp

type clock =

| Ck_base
| Ck_on of clock * constr0pat * exp

type reset =

| Res_never
| Res_else of reset * exp

type eq = {

eq_kind : kind;
eq_ident : Zident.t;
eq_exp : exp;
eq_clock : clock;

}

and kind =

| Def
| Init of reset
| Next

type funexp = {

f_inputs : Zident.t list;
f_output : Zident.t;
f_env : tentry Zident.Env.t;
f_body : eq list;
f_assert : exp list;

}

and tentry = {

t_typ : typ;

}

and implementation =

| Lconstdecl of name * exp
| Lfundecl of name * funexp
| Ltypedecl of name * type_decl

and type_decl =

| Labstract_type
| Lvariant_type of name list
| Lrecord_type of (name * typ) list

and typ =

| Tint
| Tbool
| Tfloat
| Tchar
| Tstring
| Tunit
| Tconstr of Lident.qualident
| Tproduct of typ list