aya-prover/aya-dev

Context-based name generator

ice1000 opened this issue · 0 comments

ice1000 commented

I think org.aya.generic.NameGenerator can be made to be context-based, so we can generate scope-correct names (i.e. rename when needed)