let bo = curryfy [] bo in
(try
let rdb = {
- NRstatus.uhint_db = NCicUnifHint.empty_db;
- NRstatus.coerc_db = NCicCoercion.empty_db;
- NRstatus.library_db = NCicLibrary.time0;
- NRstatus.dump = fun x -> x
+ NRstatus.uhint_db = NCicUnifHint.empty_db;
+ NRstatus.coerc_db = NCicCoercion.empty_db;
+ NRstatus.library_db = NCicLibrary.time0
} in
let metasenv, subst, bo, infty =
NCicRefiner.typeof rdb [] [] [] bo None