Project

General

Profile

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

    
3
let type_env : Types.type_expr Env.t ref = ref Env.initial
4
(* Basic_library.type_env *)
5

    
6
let clock_env : Clocks.clock_expr Env.t ref = ref Env.initial
7
(*Basic_library.clock_env *)
8

    
9
let basename = ref ""
10

    
11
let main_node = ref ""
12

    
13
module TypeEnv = struct
14
  let lookup_value ident = Env.lookup_value !type_env ident
15

    
16
  let exists_value ident = Env.exists_value !type_env ident
17

    
18
  let iter f = Env.iter !type_env f
19

    
20
  let pp pp_fun fmt () = Env.pp_env pp_fun fmt !type_env
21
end
22

    
23
let initialize () = main_node := !Options.main_node
24

    
25
(* Local Variables: *)
26
(* compile-command:"make -C .." *)
27
(* End: *)
(22-22/66)