Module aya.base

Package org.aya.generic

package org.aya.generic

Related Packages

Package	Description
org.aya.generic.util

Class	Description
AyaDocile
Constants
ExprProblem
Modifier
ParamLike<Expr extends AyaDocile>
Shaped<T>	What should I do after I creating a new Shape?
Shaped.Inductive<T>
Shaped.List<T extends AyaDocile>
Shaped.Nat<T extends AyaDocile>
SortKind