Module Gauges_domain.G.MC

module MC: sig .. end

include struct ... end
val widen : t -> t -> t
val join : t -> t -> t
val is_included : t -> t -> bool