let pp s =
if !debug then
prerr_endline (Printf.sprintf "%-20s" !indent ^ " " ^ Lazy.force s)
- else
- ()
;;
let inside c =
if !debug then
uri, height, metasenv, subst, C.Inductive (ind, leftno, itl, attr)
;;
-let typeof st ?localise m s c t1 t2 =
-let time1 = Unix.gettimeofday () in
-let res = typeof st ?localise m s c t1 t2 in
-let time2 = Unix.gettimeofday () in
-prerr_endline ("OVERALL TYPEOF TIME: " ^ string_of_float (time2 -. time1));
-res
-;;
-
(* vim:set foldmethod=marker: *)