aya-prover/aya-dev

selfTeleSize

Closed this issue · 0 comments

ice1000 commented

aya-dev/base/src/main/java/org/aya/tyck/pat/PatternTycker.java

Line 465 in cb2e299

var selfTeleSize = name.selfTele(subst).size(); // FIXME: I need size ONLY