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.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

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 float : float -> Zelus.exp
val bool : bool -> Zelus.exp
val float_varpat : Zident.t -> Zelus.pattern
val bool_varpat : Zident.t -> Zelus.pattern
val float_var : Zident.t -> Zelus.exp
val bool_var : Zident.t -> Zelus.exp
val float_last : Zident.t -> Zelus.exp
val bool_last : Zident.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 Zident.Env.t -> Zelus.eq list -> Zelus.local
val vardec : Zident.t -> Zelus.vardec
val vardec_from_entry : Zident.t -> Deftypes.tentry -> Zelus.vardec
val extend_block : Deftypes.tentry Zident.Env.t -> 'a list -> 'a list Zelus.block -> 'a list Zelus.block
val make_block : Deftypes.tentry Zident.Env.t -> 'a list -> 'a list Zelus.block
val eq_make : Zident.t -> Zelus.exp -> Zelus.eq
val eq_next : Zident.t -> Zelus.exp -> Zelus.eq
val eq_init : Zident.t -> Zelus.exp -> Zelus.eq
val pluseq_make : Zident.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 : Zident.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 : Zident.t -> Zelus.eq list -> Zelus.eq list