module Gauges_domain:sig
..end
Gauges domain ("Arnaud Venet: The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. CAV 2012")
module D:Abstract_domain.Internal
with type value = Cvalue.V.t and type location = Precise_locs.precise_location