Module ReductionSource

Sourcemodule Eval : sig ... end

Signature of reduction rules for product evaluations

Sourcemodule Exec : sig ... end

Signature of reduction rules for product post-states

Sourcemodule Simplified : sig ... end

Reduction rules for reduced products of simplified domains

Sourcemodule Value : sig ... end

Reduction rules for products of values abstractions