Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / global.ml @ e8250987

History | View | Annotate | Download (596 Bytes)

1 66359a5e ploc
module Types = Types.Main
2
3 2d27eedd ploc
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 66e25f0f xthirioux
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
  end
20
21
(* Local Variables: *)
22
(* compile-command:"make -C .." *)
23
(* End: *)