diff --git a/src/kernel_services/abstract_interp/ival.ml b/src/kernel_services/abstract_interp/ival.ml
index 2a04b50f4619a3a3570669a9371e1ff65dc18e92..a5b4f5102458dfa7c4b57e7c2ad5f6d733f781bb 100644
--- a/src/kernel_services/abstract_interp/ival.ml
+++ b/src/kernel_services/abstract_interp/ival.ml
@@ -1225,15 +1225,6 @@ let fold_int f v acc =
   | Set s ->
       Array.fold_left (fun acc x -> f x acc) acc s
 
-let fold_int_decrease f v acc =
-  match v with
-    Top(None,_,_,_) | Top(_,None,_,_) | Float _ ->
-      raise Error_Top
-  | Top(Some inf, Some sup, _, step) ->
-      Int.fold f ~inf ~sup ~step:(Int.neg step) acc
-  | Set s ->
-      Array.fold_right (fun x acc -> f x acc) s acc
-
 let fold_enum f v acc =
   match v with
   | Float fl when Fval.is_singleton fl -> f v acc
@@ -1343,16 +1334,6 @@ let apply2_n f (s1 : Integer.t array) (s2 : Integer.t array) =
   done;
   inject_ps !ps
 
-let apply_set f v1 v2 =
-  match v1,v2 with
-  | Set s1, Set s2 -> apply2_n f s1 s2
-  | _ -> top
-
-let apply_set_unary f v =
-  match v with
-  | Set s -> map_set_exnsafe f s
-  | _ -> top
-
 let apply_bin_1_strict_incr f x (s : Integer.t array) =
   let l = Array.length s in
   let r = Array.make l Int.zero in
diff --git a/src/kernel_services/abstract_interp/ival.mli b/src/kernel_services/abstract_interp/ival.mli
index 628066eea2104421a4fe3fe347b50e8c606b5055..bd58876bcc877167246e98b9db31c7d07e2007bf 100644
--- a/src/kernel_services/abstract_interp/ival.mli
+++ b/src/kernel_services/abstract_interp/ival.mli
@@ -195,11 +195,6 @@ val fold_int : (Integer.t -> 'a -> 'a) -> t -> 'a -> 'a
     Raise {!Abstract_interp.Error_Top} if the argument is a float or a
     potentially infinite integer. *)
 
-val fold_int_decrease : (Integer.t -> 'a -> 'a) -> t -> 'a -> 'a
-(** Iterate on the integer values of the ival in decreasing order.
-    Raise {!Abstract_Interp.Error_Top} if the argument is a float or a
-    potentially infinite integer. *)
-
 val fold_enum : (t -> 'a -> 'a) -> t -> 'a -> 'a
 (** Iterate on every value of the ival. Raise {!Abstract_intrep.Error_Top} if
     the argument is a non-singleton float or a potentially infinite integer. *)
@@ -211,10 +206,6 @@ val fold_int_bounds: (t -> 'a -> 'a) -> t -> 'a -> 'a
     [max] are infinite, [f] is called with an argument [i'] unreduced
     in the corresponding direction(s). *)
 
-val apply_set: (Integer.t -> Integer.t -> Integer.t ) -> t -> t -> t
-val apply_set_unary: (Integer.t -> Integer.t ) -> t -> t
-
-
 (** Subdivisions into two intervals *)
 val subdivide: size:Integer.t -> t -> t * t