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/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 Ident.t
| Llast of Ident.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 : Ident.t;
eq_exp : exp;
eq_clock : clock;

}

and kind =

| Def
| Init of reset
| Next

type funexp = {

f_inputs : Ident.t list;
f_output : Ident.t;
f_env : tentry Ident.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