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