Module PatSet.SharingSource

Comparisons with sharing. Sharing.equal and Sharing.compare return the same results as equal and compare, but as a side effect they make the structurally equal subtrees of their arguments physically equal. This makes later comparisons of these sets faster and reduces memory usage when many equal sets are built independently. It is invisible to every other operation, and safe in the presence of concurrent domains.