[Extlib] remove unused and obsolete functions

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

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