let
exists ~f s =
fold_left (
fun
ans c
->
f c
||
ans)
false
s