模块 aya.base

程序包 org.aya.core.term

接口 PrimTerm

所有超级接口:

AyaDocile, org.aya.guest0x0.cubical.Restr.TermLike<Term>, Term

所有已知实现类:

PrimTerm.Coe, PrimTerm.Interval, PrimTerm.Mula, PrimTerm.Str

public sealed interface PrimTerm
extends Term
permits PrimTerm.Mula, PrimTerm.Str, PrimTerm.Interval, PrimTerm.Coe

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	PrimTerm.Coe
static final class	PrimTerm.Interval
static final record	PrimTerm.Mula
static final record	PrimTerm.Str

从接口继承的嵌套类/接口 org.aya.guest0x0.cubical.Restr.TermLike

org.aya.guest0x0.cubical.Restr.TermLike.Factory<T>

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

Term.Param

方法概要

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

debuggerOnlyToDoc

从接口继承的方法 org.aya.guest0x0.cubical.Restr.TermLike

asFormula

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

computeType, descent, findUsages, freezeHoles, lift, normalize, rename, scopeCheck, subst, subst, subst, subst, toDoc