Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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