module W = Share
module L = Log
module H = Hierarchy
-module E = Entity
module N = Level
+module E = Entity
+module G = Options
+module S = Status
module B = Brg
module BE = BrgEnvironment
module BS = BrgSubstitution
(* Internal functions *******************************************************)
-let level = 4
+let level = 3
let message1 st1 m t1 =
L.et_items1 "In the environment" m st1 t1
| _ -> assert false (**)
let rec b_type_of err f st m x =
- log1 "Now checking" m x;
+ if !G.trace >= level then log1 "Now checking" m x;
match x with
| B.Sort (a, h) ->
let h = H.apply h in f x (B.Sort (a, h))
(* Interface functions ******************************************************)
-and type_of err f st m x =
- let f t u = L.unbox level; f t u in
- L.box level; b_type_of err f st m x
+and type_of err f st m x = b_type_of err f st m x