AngouriMath
TryBuild(AngouriMath.Core.Transformations.Matching.Bindings,AngouriMath.Entity@)
Method (no overloads)
Summary
The expression this pattern stands for under bindings , or
false where those bindings do not satisfy it.
Remarks
an expression apart into bindings, and this puts one together out of them. A rule whose
two sides are both patterns therefore has two directions rather than one, which is what
#746 tier 2 means
by a rule that can be read backwards.
makes reversal lose nothing: a constraint is written once, on the side that states it,
and is enforced whenever that side is built — so the reverse of
the quotient-of-powers unless
required.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online