Module Gauges_domain.G.Gauge

module Gauge: sig .. end

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