let exists t ~f =     try       iter t (fun c -> if (f c) then raise Not_found);       false     with _ -> true