let cleanup_tmp = true;;
-let trust_obj = function uri -> true;;
-(*let trust_obj = function uri -> false;;*)
+let trust = ref (fun _ -> true);;
+let set_trust f = trust := f
+let trust_obj uri = !trust uri
type type_checked_obj =
CheckedObj of Cic.obj (* cooked obj *)