Module Sig.Reduction

module Eval : sig ... end

Signature of reduction rules for product evaluations

module Exec : sig ... end

Signature of reduction rules for product post-states

module Simplified : sig ... end

Reduction rules for reduced products of simplified domains

module Value : sig ... end

Reduction rules for products of values abstractions