V_______________________________________________________________ *)
module L = Log
+module H = Hierarchy
module B = Brg
module O = BrgOutput
module E = BrgEnvironment
let rec type_of f g c x =
L.log O.specs level (L.ct_items1 "now checking" c x);
match x with
- | B.Sort h -> f (B.Sort (g h))
+ | B.Sort h ->
+ let f h = f (B.Sort h) in H.apply f g h
| B.LRef i ->
let f = function
| Some (_, B.Abst w) -> f w