Project

General

Profile

Revision 49d364b8 src/global.ml

View differences:

src/global.ml
6 6
let main_node = ref ""
7 7

  
8 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
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 15

  
16 16
let initialize () =
17 17
  begin

Also available in: Unified diff