Module Gauges_domain.D

module D: sig .. end

include D_Impl
module Store: Domain_store.Make(sig
include D_Impl
val storage : 'a -> bool
end)