Project

General

Profile

Revision 66359a5e src/global.ml

View differences:

src/global.ml
1
module Types = Types.Main
2

  
1 3
let type_env : (Types.type_expr Env.t) ref = ref Env.initial
2 4
let clock_env : (Clocks.clock_expr Env.t) ref = ref Env.initial
3 5
let basename = ref ""

Also available in: Unified diff