Sha256: 7d15730545d0c65ff7b7dc72daa68a120ff1675d2b7e6daaaf7e8068deae8877
Contents?: true
Size: 305 Bytes
Versions: 16
Compression:
Stored size: 305 Bytes
Contents
Rules here are allowed to rewrite pure expressions arbitrarily, using the same inputs as the original, or fewer. In other words, we cannot pull a new eclass id out of thin air and refer to it, other than a piece of the input or a new node that we construct; but we can freely rewrite e.g. `x+y-y` to `x`.
Version data entries
16 entries across 16 versions & 1 rubygems