let stamp = Unix.gettimeofday () in
let metasenv, subst, pt, pty =
NCicRefiner.typeof status
(* (status#set_coerc_db NCicCoercion.empty_db) *)
metasenv subst ctx pt None in
let stamp = Unix.gettimeofday () in
let metasenv, subst, pt, pty =
NCicRefiner.typeof status
(* (status#set_coerc_db NCicCoercion.empty_db) *)
metasenv subst ctx pt None in