module MV: sig .. end
sig
end
include struct ... end
val join_disjoint : t -> t -> t
t -> t -> t
val empty_wh : Integer.t * ('a -> Ival.Widen_Hints.t)
Integer.t * ('a -> Ival.Widen_Hints.t)
val widen : t -> t -> t
val is_included : t -> t -> bool
t -> t -> bool