package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

md5=755e46de4d57d4c489f5b0a0f2b8663d

sha512=8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d

Performs static evaluations of predefined operators in clocks expressions

Sourceexception EvalClock_error of string

type clocker =
  UnifyClock.subst ->
  Lic.id_clock list list ->
  Lic.id_clock list * UnifyClock.subst

Sourceval f : IdSolver.t -> AstPredef.op -> Lxm.t -> clocker