模块 aya.base

程序包 org.aya.core.term

类 FormTerm.Interval

java.lang.Object

org.aya.core.term.FormTerm.Interval

所有已实现的接口:

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

封闭接口:

FormTerm

public static final class FormTerm.Interval
extends Object
implements FormTerm

嵌套类概要

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

FormTerm.Interval, FormTerm.PartTy, FormTerm.Path, FormTerm.Pi, FormTerm.Sigma, FormTerm.Univ

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

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

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

Term.Param

字段概要

字段

修饰符和类型	字段	说明
static final FormTerm.Interval	INSTANCE

方法概要

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

从接口继承的方法 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

字段详细资料

INSTANCE

public static final FormTerm.Interval INSTANCE