Module aya.base
Package org.aya.concrete.stmt
package org.aya.concrete.stmt
-
ClassDescriptionConcrete classable definitions, corresponding to
ClassDef.Common parts of concrete definitions.Generic concrete definitions, corresponding toGenericDef.Denotes that the definition has a result typeDecl.Telescopic<RetTy extends Term>Denotes that the definition is telescopicDenotes that the definition can be defined at top-levelConcrete telescopic definition, corresponding toDef.Concrete data definitionConcrete function definitionConcrete structure definition