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/Plmm/index.html

Module Plmm

val longname : Format.formatter -> Lident.t -> unit
val name : Format.formatter -> Zident.t -> unit
val shortname : Format.formatter -> String.t -> unit
val immediate : Format.formatter -> Lmm.immediate -> unit
val constr0pat : Format.formatter -> Lmm.constr0pat -> unit
val expression : Format.formatter -> Lmm.exp -> unit
val expression_list : Format.formatter -> Lmm.exp list -> unit
val kind : Format.formatter -> Lmm.kind -> unit
val reset : Format.formatter -> Lmm.reset -> unit
val reset_opt : Format.formatter -> Lmm.reset -> unit
val clock : Format.formatter -> Lmm.clock -> unit
val clock_opt : Format.formatter -> Lmm.clock -> unit
val operator : Format.formatter -> Lmm.op -> unit
val equation : Format.formatter -> Lmm.eq -> unit
val ptype : Format.formatter -> Lmm.typ -> unit
val print_env : Format.formatter -> Lmm.tentry Zident.Env.t -> unit
val fundecl : Format.formatter -> string -> Lmm.funexp -> unit
val type_decl : Format.formatter -> Lmm.type_decl -> unit
val implementation : Format.formatter -> Lmm.implementation -> unit
val implementation_list : Format.formatter -> Lmm.implementation list -> unit