模块 aya.base
程序包 org.aya.core.visitor
package org.aya.core.visitor
-
类说明We 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."Substitution object"A convenient interface to consume a `Term`.Instantiates holes (assuming all holes are solved).