模块 aya.base
程序包 org.aya.core.def
package org.aya.core.def
-
类说明core data definition, corresponding to
TeleDecl.DataDeclSignature 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.