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

Interface Decl.Resulted

All Known Implementing Classes:
ClassDecl, TeleDecl, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField
Enclosing interface:
Decl
public static sealed interface Decl.Resulted permits ClassDecl, TeleDecl<RetTy>, TeleDecl.StructField
Denotes that the definition has a result type

  • Method Summary

    Modifier and Type
    Method
    Description
    @NotNull Expr
    result()
     
    void
    setResult(@NotNull Expr result)
     

  • Method Details

    • result

      @NotNull @NotNull Expr result()

    • setResult

      void setResult(@NotNull @NotNull Expr result)