Project

General

Profile

Download (330 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(15-15/111)