diff --git a/src/libraries/stdlib/extlib.ml b/src/libraries/stdlib/extlib.ml
index 5502d9f81c0a46a0d16ea781adf52d1ff188b2eb..b1c922f33e72c279cf00a6c107c482a91c855e36 100644
--- a/src/libraries/stdlib/extlib.ml
+++ b/src/libraries/stdlib/extlib.ml
@@ -246,8 +246,6 @@ let array_existsi f a =
 (** {2 Options} *)
 (* ************************************************************************* *)
 
-let opt_if b v = if b then None else Some v
-
 let opt_fold f o b =
   match o with
     | None -> b
@@ -271,8 +269,6 @@ let the ?exn = function
     end
   | Some x -> x
 
-let find_or_none f v = try Some(f v) with Not_found -> None
-
 let opt_equal f v1 v2 = match v1, v2 with
   | None, None -> true
   | Some _, None | None, Some _ -> false
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 06924f16a1144c897333fc48034487558deae32c..48bd9c71e9ea59d68c96934d8298a171ee8a9fdf 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -195,10 +195,6 @@ val array_existsi: (int -> 'a -> bool) -> 'a array -> bool
 (** {2 Options} *)
 (* ************************************************************************* *)
 
-val opt_if: bool -> 'a -> 'a option
-(** [opt_if cond v] returns [Some v] if [cond] is [true] and
-    [None] otherwise *)
-
 val opt_fold: ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b
 (** @since Oxygen-20120901 *)
 
@@ -224,8 +220,6 @@ val the: ?exn:exn -> 'a option -> 'a
     @modify Magnesium-20151001 add optional argument [exn]
     @plugin development guide *)
 
-val find_or_none: ('a -> 'b) -> 'a -> 'b option
-
 val opt_equal : ('a -> 'a -> bool) -> 'a option -> 'a option -> bool
 
 val opt_compare : ('a -> 'a -> int) -> 'a option -> 'a option -> int