let
for_all ~f s =
fold_left (
fun
b c
->
b
&&
f c)
true
s