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