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

Module Plmm

val longname : Format.formatter -> Lident.t -> unit
val name : Format.formatter -> Ident.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 Ident.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