Module aya.base
Package org.aya.concrete.stmt

Interface Decl.TopLevel

All Known Implementing Classes:
ClassDecl, TeleDecl, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl
Enclosing interface:
Decl
public static sealed interface Decl.TopLevel permits ClassDecl, TeleDecl<RetTy>
Denotes that the definition can be defined at top-level

  • Method Details

    • personality

      @NotNull @NotNull Decl.Personality personality()

    • getCtx

      @Nullable @Nullable Context getCtx()

    • setCtx

      void setCtx(@NotNull @NotNull Context ctx)