let
for_all t ~f =
List
.for_all t ~f