AngouriMath
SameShapeAs(AngouriMath.Core.Transformations.Matching.MatchPattern)
Method (no overloads)
Summary
Whether two patterns are written the same way, used to check that a repeated hole was
assigned consistently. Structural, and stricter than semantic equality: two patterns
that mean the same thing while being written differently answerfalse here, which loses a subsumption rather than inventing one.
assigned consistently. Structural, and stricter than semantic equality: two patterns
that mean the same thing while being written differently answer
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online