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 -> '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