Module Gauges_domain.G.MV

module MV: sig .. end

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