Module aya.base

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
     
    void
    setResult(@NotNull Expr result)
     
  • Method Details

    • result

      @NotNull @NotNull Expr result()
    • setResult

      void setResult(@NotNull @NotNull Expr result)