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

Module `Total`

val union : Deftypes.defnames -> Deftypes.defnames -> Deftypes.defnames

Names written in a block

val add : 
  Location.location ->
  Deftypes.defnames ->
  Deftypes.defnames ->
  Deftypes.defnames

val all_last : 
  Location.location ->
  Deftypes.tentry Ident.Env.t ->
  Ident.S.t ->
  unit

val merge_defnames_list : 
  Deftypes.defnames list ->
  (Ident.S.t * Ident.S.t)
  * (Ident.S.t * Ident.S.t)
  * (Ident.S.t * Ident.S.t)
  * (Ident.S.t * Ident.S.t)
  * (Ident.S.t * Ident.S.t)

val merge : 
  Location.location ->
  Deftypes.tentry Ident.Env.t ->
  Deftypes.defnames list ->
  Deftypes.defnames

val join : 
  Location.location ->
  Deftypes.defnames ->
  Deftypes.defnames ->
  Deftypes.defnames

module Automaton : sig ... end

Check that every variable defined in an automaton