Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / global.ml @ 04a188ec

History | View | Annotate | Download (651 Bytes)

1 66359a5e ploc
module Types = Types.Main
2
3 04a188ec ploc
let type_env : (Types.type_expr Env.t) ref = ref Env.initial (* Basic_library.type_env *)
4
let clock_env : (Clocks.clock_expr Env.t) ref = ref Env.initial (*Basic_library.clock_env *)
5 66e25f0f xthirioux
let basename = ref ""
6
let main_node = ref ""
7
8
module TypeEnv =
9 49d364b8 ploc
  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 66e25f0f xthirioux
16
let initialize () =
17
  begin
18
    main_node := !Options.main_node;
19
  end
20
21
(* Local Variables: *)
22
(* compile-command:"make -C .." *)
23
(* End: *)