Module aya.base

Package org.aya.concrete.stmt.decl

Interface Decl.TopLevel

All Known Implementing Classes:

ClassDecl, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.TopLevel

Enclosing interface:

Decl

public static sealed interface Decl.TopLevel
permits ClassDecl, TeleDecl.TopLevel<RetTy>

Denotes that the definition can be defined at top-level

Method Summary

Modifier and Type	Method	Description
@Nullable Context	getCtx()
DeclInfo.Personality	personality()
void	setCtx(@NotNull Context ctx)

Method Details

personality

@NotNull
DeclInfo.Personality personality()

getCtx

@Nullable
@Nullable Context getCtx()

setCtx

void setCtx(@NotNull
 @NotNull Context ctx)