Domains.Product
Domain products, used to combine abstractions
module Classical
(L : Sig.Classical_Domain)
(R : Sig.Classical_Domain with type relation = L.relation) :
Sig.Classical_Domain
with type State.t = L.State.t * R.State.t
and type relation = L.relation
Simple naive product, runs both analysis in parallel
module SSA
(L : Sig.SSA_Domain)
(R : Sig.SSA_Domain) :
Sig.SSA_Domain with type SSA_State.t = L.SSA_State.t * R.SSA_State.t
Product between SSA domains