模块 org.aya

程序包 org.aya.core.term

接口 IntroTerm

所有超级接口:

org.aya.util.distill.AyaDocile, Term

所有已知实现类:

IntroTerm.Lambda, IntroTerm.New, IntroTerm.Tuple

public sealed interface IntroTerm
extends Term
permits IntroTerm.Lambda, IntroTerm.Tuple, IntroTerm.New

Introduction rules.

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	IntroTerm.Lambda
static final record	IntroTerm.New
static final record	IntroTerm.Tuple

从接口继承的嵌套类/接口 org.aya.core.term.Term

Term.Param, Term.Visitor<P,R>

方法概要

从接口继承的方法 org.aya.util.distill.AyaDocile

debuggerOnlyToDoc

从接口继承的方法 org.aya.core.term.Term

accept, computeType, doAccept, findUsages, freezeHoles, lift, normalize, rename, scopeCheck, subst, subst, subst, subst, toDoc, view