This commit is contained in:
Simon Cruanes 2022-10-18 16:56:57 -04:00
parent f36a9fc5fc
commit c7ff44ffe4
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -304,15 +304,13 @@ let () =
let i = Stdlib.min i j and j = Stdlib.max i j in let i = Stdlib.min i j and j = Stdlib.max i j in
i -- j |> to_rev_list = (int_range_by ~step:~-1 j i |> to_list)) i -- j |> to_rev_list = (int_range_by ~step:~-1 j i |> to_list))
open struct let array_for_all f a =
let array_for_all f a =
try try
for i = 0 to Array.length a - 1 do for i = 0 to Array.length a - 1 do
if not (f a.(i)) then raise Exit if not (f a.(i)) then raise Exit
done; done;
true true
with Exit -> false with Exit -> false
end
let () = let () =
add_qcheck __LINE__ add_qcheck __LINE__