Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/clock_calculus.mli | ||
---|---|---|
7 | 7 |
val clock_prog: Clocks.t Env.t -> program_t -> Clocks.t Env.t |
8 | 8 |
|
9 | 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 |
Also available in: Unified diff
another step towards refactoring