diff --git a/src/libraries/stdlib/extlib.ml b/src/libraries/stdlib/extlib.ml
index b1c922f33e72c279cf00a6c107c482a91c855e36..b55f30977d646550ea2a0821589a8ef524d88a95 100644
--- a/src/libraries/stdlib/extlib.ml
+++ b/src/libraries/stdlib/extlib.ml
@@ -269,17 +269,6 @@ let the ?exn = function
     end
   | Some x -> x
 
-let opt_equal f v1 v2 = match v1, v2 with
-  | None, None -> true
-  | Some _, None | None, Some _ -> false
-  | Some v1, Some v2 -> f v1 v2
-
-let opt_compare f v1 v2 = match v1, v2 with
-  | None, None -> 0
-  | Some _, None -> 1
-  | None, Some _ -> -1
-  | Some v1, Some v2 -> f v1 v2
-
 let opt_hash hash v = match v with
   | None -> 31179
   | Some v -> hash v
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 48bd9c71e9ea59d68c96934d8298a171ee8a9fdf..2cd1936f9949cdecf7f734d1d581e6f37b525321 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -220,11 +220,6 @@ val the: ?exn:exn -> 'a option -> 'a
     @modify Magnesium-20151001 add optional argument [exn]
     @plugin development guide *)
 
-val opt_equal : ('a -> 'a -> bool) -> 'a option -> 'a option -> bool
-
-val opt_compare : ('a -> 'a -> int) -> 'a option -> 'a option -> int
-  (** @since Boron-20100401 *)
-
 val opt_hash: ('a -> int) -> 'a option -> int
   (** @since Sodium-20150201 *)