Project

General

Profile

Download (547 Bytes) Statistics
| Branch: | Tag: | Revision:
1
let type_env : (Types.type_expr Env.t) ref = ref Env.initial
2
let clock_env : (Clocks.clock_expr Env.t) ref = ref Env.initial
3
let basename = ref ""
4
let main_node = ref ""
5

    
6

    
7
module TypeEnv =
8
struct
9
let lookup_value ident = Env.lookup_value !type_env ident
10
let exists_value ident = Env.exists_value !type_env ident
11
let iter f = Env.iter !type_env f
12
let pp pp_fun fmt () = Env.pp_env pp_fun fmt !type_env
13
end
14

    
15
let initialize () =
16
  begin
17
    main_node := !Options.main_node;
18
  end
19

    
20
(* Local Variables: *)
21
(* compile-command:"make -C .." *)
22
(* End: *)
(19-19/53)