Module aya.base
Package org.aya.core.visitor
package org.aya.core.visitor
-
ClassDescriptionWe think of all cubical reductions as beta reductions.A convenient interface to obtain an endomorphism on `Term`.A lift but in American English.Not an IntelliJ Renamer.Performs capture-avoiding substitution.subst all binding to corresponding MetaPatA traversal that disallow Pat.Meta"Substitution object"A convenient interface to consume a `Term`.TermFolder<R>Instantiates holes (assuming all holes are solved).