Module aya.base
Package org.aya.concrete.stmt.decl
package org.aya.concrete.stmt.decl
-
ClassDescriptionConcrete classable definitions, corresponding to
ClassDef.Common parts of concrete definitions.Generic concrete definitions, corresponding toGenericDef.Denotes that the definition can be defined at top-levelConcrete telescopic definition, corresponding toDef.Concrete data definitionConcrete function definitionTeleDecl.TopLevel<RetTy extends Term>