AngouriMath
CanEMatch
Property
Summary
Whether this pattern can match an e-class directly, without ever materialising a term
from it. Structural and independent of any bindings -- computed once per pattern, not
per attempt. False only for GatheredPattern and for any
NodePattern containing one.
from it. Structural and independent of any bindings -- computed once per pattern, not
per attempt. False only for GatheredPattern and for any
NodePattern containing one.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online