模块 aya.base

程序包 org.aya.generic

package org.aya.generic

Related Packages

程序包	说明
org.aya.generic.ref
org.aya.generic.util

类	说明
Arg<T extends AyaDocile>
AyaDocile
Constants
Cube<Term extends org.aya.guest0x0.cubical.Restr.TermLike<Term> & AyaDocile>	Generalized 'generalized path' syntax.
ExprProblem
Modifier
ParamLike<Expr extends AyaDocile>
Shaped<T>
Shaped.Inductively<T>