module B = Brg
module E = BrgEnvironment
-module R = BrgReduction
module T = BrgType
(* Interface functions ******************************************************)
| Some ((_, _, B.Abbr t) as obj) ->
let f tt obj = f (Some (tt, obj)) in
let f tt = E.set_obj (f tt) obj in
- T.type_of f g R.empty_context t
+ T.type_of f g B.empty_context t
| Some (_, _, B.Void) -> assert false