Project

General

Profile

Download (679 Bytes) Statistics
| Branch: | Tag: | Revision:
1
module Types = Types.Main
2

    
3
let type_env : (Types.type_expr Env.t) ref = ref Basic_library.type_env
4
let clock_env : (Clocks.clock_expr Env.t) ref = ref Basic_library.clock_env
5
let basename = ref ""
6
let main_node = ref ""
7

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

    
16
let initialize () =
17
  begin
18
    main_node := !Options.main_node;
19
    type_env  := Basic_library.type_env;
20
    clock_env := Basic_library.clock_env;
21
  end
22

    
23
(* Local Variables: *)
24
(* compile-command:"make -C .." *)
25
(* End: *)
(23-23/60)