Module aya.base
Package org.aya.core.def
package org.aya.core.def
-
ClassDescriptioncore data definition, corresponding to
TeleDecl.DataDeclDef.Signature<T extends Term>Signature of a definition, used in concrete and tycking.core struct definition, corresponding toTeleDecl.StructDeclFields or constructors, in contrast toTopLevelDef.TopLevelDef<Ret extends Term>Top-level definitions.Definitions by user.