captures the scope and the value of the bindings in patterns important *when* the substitution happens (can't accumulate and do at once after the full matcher has been constructed)
captures the scope and the value of the bindings in patterns important *when* the substitution happens (can't accumulate and do at once after the full matcher has been constructed)
(equalityTestTreeMaker: StringAdd).self
(equalityTestTreeMaker: StringFormat).self
(equalityTestTreeMaker: ArrowAssoc[EqualityTestTreeMaker]).x
(Since version 2.10.0) Use leftOfArrow
instead
(equalityTestTreeMaker: Ensuring[EqualityTestTreeMaker]).x
(Since version 2.10.0) Use resultOfEnsuring
instead