java.lang.Object
org.aya.core.term.PrimTerm.Interval
- 封闭接口:
PrimTerm
-
嵌套类概要
从接口继承的嵌套类/接口 org.aya.core.term.PrimTerm
PrimTerm.Coe, PrimTerm.Interval, PrimTerm.Mula, PrimTerm.Str从接口继承的嵌套类/接口 org.aya.guest0x0.cubical.Restr.TermLike
org.aya.guest0x0.cubical.Restr.TermLike.Factory<T>从接口继承的嵌套类/接口 org.aya.core.term.Term
Term.Param -
字段概要
字段 -
方法概要
从类继承的方法 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
-