[Eva] Removes unused function [default] in bottom.ml.

src/kernel_services/abstract_interp/bottom.ml

@@ -39,11 +39,6 @@ end
 
 include Type
 
-let default or_bottom ~default =
-  match or_bottom with
-  | `Bottom -> default
-  | `Value res -> res
-
 let is_bottom = function
   | `Bottom -> true
   | `Value _ -> false

src/kernel_services/abstract_interp/bottom.mli

@@ -39,7 +39,6 @@ include module type of Type
 
 val is_bottom: 'a or_bottom -> bool
 val non_bottom: 'a or_bottom -> 'a
-val default : 'a or_bottom -> default:'a -> 'a
 
 val equal:       ('a -> 'a -> bool) -> 'a or_bottom -> 'a or_bottom -> bool
 val compare:     ('a -> 'a -> int)  -> 'a or_bottom -> 'a or_bottom -> int