Creates an Equivalence for a Tree type, given an Equivalence for the underlying type A.
Equivalence
A
The equivalence will scan every node of both trees to make sure that are the same, but will short-circuit on a mismatch.
Creates an
Equivalencefor a Tree type, given an Equivalence for the underlying typeA.The equivalence will scan every node of both trees to make sure that are the same, but will short-circuit on a mismatch.