Implements toolbox.Utils.range_for_all with tests

lib/toolbox/utils.ml

@@ -25,6 +25,18 @@ let range_iter a b ~f =
   in
   loop a
 
+let range_for_all a b ~f =
+  let rec loop i = i = b || (f i && loop (i + 1)) in
+  loop a
+
+let%test "range_for_all 1..4 <= 10" = range_for_all 1 4 ~f:(( >= ) 10)
+
+let%test "not (range_for_all 1..4 <= 2)" =
+  not @@ range_for_all 1 4 ~f:(( >= ) 2)
+
+let%test "not (range_for_all 1..4 <= 0)" =
+  not @@ range_for_all 1 4 ~f:(( >= ) 2)
+
 let int_fold a b ~init ~f =
   let rec loop acc i = if i >= b then acc else loop (f acc i) (i + 1) in
   loop init a