diff --git a/src/libraries/stdlib/extlib.ml b/src/libraries/stdlib/extlib.ml
index b55f30977d646550ea2a0821589a8ef524d88a95..2bf8f67c110ebab50ba7ec433dec4f709631525e 100644
--- a/src/libraries/stdlib/extlib.ml
+++ b/src/libraries/stdlib/extlib.ml
@@ -221,27 +221,6 @@ let list_slice ?(first = 0) ?last l =
   | None -> l
   | Some n -> list_first_n (normalize n - first) l
 
-
-(* ************************************************************************* *)
-(** {2 Arrays} *)
-(* ************************************************************************* *)
-
-let array_exists f a =
-  try
-    for i = 0 to Array.length a - 1 do
-      if f a.(i) then raise Exit
-    done;
-    false
-  with Exit -> true
-
-let array_existsi f a =
-  try
-    for i = 0 to Array.length a - 1 do
-      if f i a.(i) then raise Exit
-    done;
-    false
-  with Exit -> true
-
 (* ************************************************************************* *)
 (** {2 Options} *)
 (* ************************************************************************* *)
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 2cd1936f9949cdecf7f734d1d581e6f37b525321..47022a39032828eba3387bf2ff8ea6e18c5f54ad 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -184,13 +184,6 @@ val list_slice: ?first:int -> ?last:int -> 'a list -> 'a list
     and inverted ranges result in empty lists.
     @since 18.0-Argon *)
 
-(* ************************************************************************* *)
-(** {2 Arrays} *)
-(* ************************************************************************* *)
-
-val array_exists: ('a -> bool) -> 'a array -> bool
-val array_existsi: (int -> 'a -> bool) -> 'a array -> bool
-
 (* ************************************************************************* *)
 (** {2 Options} *)
 (* ************************************************************************* *)