Module Domains.Free_algebra

Free algebra domains, both for IMP (Classical) and SSA.

module Classical : sig ... end

Represent an abstract state as a free algebra (each function is a constructor) We use hash-consing to speed up comparisons and set operations

module SSA : sig ... end

Free algebra of the SSA Domain signature (each function is a constructor) We use hash-consing to speed up comparisons and set operations.