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 *)
val restore_from_channel : ?callback:(string -> unit) -> in_channel -> unit
val empty : unit -> unit
+(** Set trust function. Per default this function is set to (fun _ -> true) *)
+val set_trust: (UriManager.uri -> bool) -> unit
+
(* for filtering in tacticChaser *)
(* NEW *)
val in_cache : UriManager.uri -> bool