sig   type t = Cvalue.V.t * Gauges_domain.G.Bounds.t list   val pretty : Format.formatter -> Gauges_domain.G.Gauge.t -> unit   val map2 : ('-> '-> 'a) -> 'a list -> 'a list -> 'a list   val _join :     Gauges_domain.G.Gauge.t ->     Gauges_domain.G.Gauge.t -> Gauges_domain.G.Gauge.t   val on_cvalue_ival : (Ival.t -> Ival.t) -> Cvalue.V.t -> Cvalue.V.t   val neg : Gauges_domain.G.Gauge.t -> Gauges_domain.G.Gauge.t   val mul_ct :     Integer.t -> Gauges_domain.G.Gauge.t -> Gauges_domain.G.Gauge.t   val mul :     Gauges_domain.G.Gauge.t ->     Gauges_domain.G.Gauge.t -> Gauges_domain.G.Gauge.t   val sanitize_v : Cvalue.V.t -> unit   val add :     Gauges_domain.G.Gauge.t ->     Gauges_domain.G.Gauge.t -> Gauges_domain.G.Gauge.t   val sub :     Gauges_domain.G.Gauge.t ->     Gauges_domain.G.Gauge.t -> Gauges_domain.G.Gauge.t   val ct : Cvalue.V.t -> Gauges_domain.G.Gauge.t end