package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 Dependency

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

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Zaux/index.html

Module Zaux

val desc : 'a Zelus.localized -> 'a
val make : 'a -> 'a Zelus.localized
val prime_app : Zelus.app
val eqmake : Zelus.eqdesc -> Zelus.eq
val global : Lident.t -> Zelus.desc
val constr0 : Lident.t -> Deftypes.typ -> Zelus.exp
val evoid : Zelus.exp
val efalse : Zelus.exp
val etrue : Zelus.exp
val truepat : Zelus.pattern
val falsepat : Zelus.pattern
val wildpat : Zelus.pattern
val zero : Zelus.exp
val one : Zelus.exp
val minus_one : Zelus.exp
val infinity : Zelus.exp
val tuplepat : Zelus.pattern list -> Zelus.pattern
val tuple : Zelus.exp list -> Zelus.exp
val record : Lident.t list -> Zelus.exp list -> Deftypes.typ -> Zelus.exp
val orpat : Zelus.pattern list -> Zelus.pattern
val pair : Zelus.exp -> Zelus.exp -> Zelus.exp
val last : Ident.t -> Deftypes.typ -> Zelus.exp
val float : float -> Zelus.exp
val bool : bool -> Zelus.exp
val float_varpat : Ident.t -> Zelus.pattern
val bool_varpat : Ident.t -> Zelus.pattern
val float_var : Ident.t -> Zelus.exp
val bool_var : Ident.t -> Zelus.exp
val float_last : Ident.t -> Zelus.exp
val bool_last : Ident.t -> Zelus.exp
val global_in_stdlib : string -> Deftypes.typ -> Zelus.exp
val funtype : Deftypes.typ list -> Deftypes.typ -> Deftypes.typ
val unop : string -> Zelus.exp -> Deftypes.typ -> Zelus.exp
val binop : string -> Zelus.exp -> Zelus.exp -> Deftypes.typ -> Zelus.exp
val plus : Zelus.exp -> Zelus.exp -> Zelus.exp
val minus : Zelus.exp -> Zelus.exp -> Zelus.exp
val diff : Zelus.exp -> Zelus.exp -> Zelus.exp
val or_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val and_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val on_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val min_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val greater_or_equal : Zelus.exp -> Zelus.exp -> Zelus.exp
val greater : Zelus.exp -> Zelus.exp -> Zelus.exp
val up : Zelus.exp -> Zelus.exp
val pre : Zelus.exp -> Zelus.exp
val minusgreater : Zelus.exp -> Zelus.exp -> Zelus.exp
val fby : Zelus.exp -> Zelus.exp -> Zelus.exp
val ifthenelse : Zelus.exp -> Zelus.exp -> Zelus.exp -> Zelus.exp
val sgn : Zelus.exp -> Zelus.exp
val record_access : Zelus.exp -> Lident.t -> Deftypes.typ -> Zelus.exp
val make_local : Deftypes.tentry Ident.Env.t -> Zelus.eq list -> Zelus.local
val vardec : Ident.t -> Zelus.vardec
val vardec_from_entry : Ident.t -> Deftypes.tentry -> Zelus.vardec
val extend_block : Deftypes.tentry Ident.Env.t -> 'a list -> 'a list Zelus.block -> 'a list Zelus.block
val make_block : Deftypes.tentry Ident.Env.t -> 'a list -> 'a list Zelus.block
val eq_make : Ident.t -> Zelus.exp -> Zelus.eq
val eq_next : Ident.t -> Zelus.exp -> Zelus.eq
val eq_init : Ident.t -> Zelus.exp -> Zelus.eq
val pluseq_make : Ident.t -> Zelus.exp -> Zelus.eq
val eq_reset : Zelus.eq list -> Zelus.exp -> Zelus.eq
val eq_block : Zelus.eq list Zelus.block -> Zelus.eq
val eq_der : Ident.t -> Zelus.exp -> Zelus.eq
val handler : Zelus.pattern -> 'a -> 'a Zelus.match_handler
val eq_ifthenelse : Zelus.exp -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block -> Zelus.eq
val eq_ifthen : Zelus.exp -> Zelus.eq list Zelus.block -> Zelus.eq
val before : Zelus.eq list -> Zelus.eq
val par : Zelus.eq list -> Zelus.eq
val init : Ident.t -> Zelus.eq list -> Zelus.eq list