Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / global.ml @ e7cc5186

History | View | Annotate | Download (546 Bytes)

1 66e25f0f xthirioux
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
module TypeEnv =
7
struct
8
let lookup_value ident = Env.lookup_value !type_env ident
9
let exists_value ident = Env.exists_value !type_env ident
10
let iter f = Env.iter !type_env f
11
let pp pp_fun fmt () = Env.pp_env pp_fun fmt !type_env
12
end
13
14
let initialize () =
15
  begin
16
    main_node := !Options.main_node;
17
  end
18
19
(* Local Variables: *)
20
(* compile-command:"make -C .." *)
21
(* End: *)