prerr_endline (UriManager.string_of_uri u);
CicUniv.print_ugraph g) (CicEnvironment.list_obj ())
);
+ addDebugItem "dump environment content" (fun _ ->
+ List.iter (fun (u,_,_) ->
+ prerr_endline (UriManager.string_of_uri u))
+ (CicEnvironment.list_obj ()));
addDebugItem "print selected terms" (fun () ->
let i = ref 0 in
List.iter