let
file_line_forall filename pred =
not (file_line_exists filename (
fun
line
->
not (pred line)))