Single_value_abstraction.Product
Combine single value abstraction using (reduced) products
module Make
(L : Sig.SingleValueAbstraction)
(R : Sig.SingleValueAbstraction)
(_ : sig ... end) :
Sig.SingleValueAbstraction with type t = L.t * R.t
Create a product abstraction, using the given reduction function
module Interval_Sentinel :
Sig.SingleValueAbstraction with type t = Interval.t * Sentinel.t
module KnownBits_Sentinel :
Sig.SingleValueAbstraction with type t = Known_bits.t * Sentinel.t
Product of Known_bits
and Sentinel
abstractions
module Interval_KnownBits_Sentinel :
Sig.SingleValueAbstraction
with type t = Interval.t * (Known_bits.t * Sentinel.t)
Product of Interval
, Known_bits
and Sentinel
abstractions