lustrec/src/clock_calculus.mli @ a7062da6
1 |
open Lustre_types |
---|---|
2 |
|
3 |
val clock_node: Clocks.t Env.t -> Location.t -> node_desc -> Clocks.t Env.t |
4 |
|
5 |
val compute_root_clock: Clocks.t -> Clocks.t |
6 |
|
7 |
val clock_prog: Clocks.t Env.t -> program_t -> Clocks.t Env.t |
8 |
|
9 |
val check_env_compat: top_decl list -> Clocks.t Env.t -> Clocks.t Env.t -> unit |
10 |
|
11 |
val uneval_prog_generics: program_t -> unit |