Domains.Free_algebra
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.