[inferbo] Remove useless opens

Reviewed By: skcho

Differential Revision: D10844715

fbshipit-source-id: 523e51a17

infer/src/bufferoverrun/counter.ml

@@ -6,7 +6,6 @@
  *)
 
 open! IStd
-open! AbstractDomain.Types
 
 type t = unit -> int
 

infer/src/bufferoverrun/counter.mli

@@ -6,7 +6,6 @@
  *)
 
 open! IStd
-open! AbstractDomain.Types
 
 type t
 

infer/src/bufferoverrun/itv.ml

@@ -79,10 +79,7 @@ module type NonNegativeSymbol = sig
 
   val int_ub : t -> NonNegativeInt.t option
 
-  val subst :
-       t
-    -> (Symb.Symbol.t -> t AbstractDomain.Types.bottom_lifted)
-    -> (NonNegativeInt.t, t) Bounds.valclass
+  val subst : t -> (Symb.Symbol.t -> t bottom_lifted) -> (NonNegativeInt.t, t) Bounds.valclass
 
   val pp : F.formatter -> t -> unit
 end

infer/src/bufferoverrun/itv.mli

@@ -50,7 +50,7 @@ module NonNegativePolynomial : sig
 
   val min_default_left : astate -> astate -> astate
 
-  val subst : astate -> (Symb.Symbol.t -> Bound.t AbstractDomain.Types.bottom_lifted) -> astate
+  val subst : astate -> (Symb.Symbol.t -> Bound.t bottom_lifted) -> astate
 
   val degree : astate -> int option
 

infer/src/bufferoverrun/symb.ml

@@ -5,7 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 open! IStd
-open! AbstractDomain.Types
 module F = Format
 
 module BoundEnd = struct

infer/src/bufferoverrun/symb.mli

@@ -6,7 +6,6 @@
  *)
 
 open! IStd
-open! AbstractDomain.Types
 module F = Format
 
 module BoundEnd : sig