package lustre-v6

  1. Overview
  2. Docs

Performs static evaluations of predefined operators in clocks expressions

exception EvalClock_error of string
type clocker = UnifyClock.subst -> Lic.id_clock list list -> Lic.id_clock list * UnifyClock.subst
OCaml

Innovation. Community. Security.