模块 org.aya
程序包 org.aya.core.visitor
package org.aya.core.visitor
-
类说明DefConsumer<P>"Substitution object"TermConsumer<P>TermFixpoint<P>A lift but in American English.Not an IntelliJ Renamer.Generic Term traversal with pre-order and post-order hooksUnfolder<P>For tactics.VarConsumer<P>Instantiates holes (assuming all holes are solved).