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

Interface Decl.Telescopic<RetTy extends Term>

All Known Implementing Classes:
TeleDecl, TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField
Enclosing interface:
Decl
public static sealed interface Decl.Telescopic<RetTy extends Term> permits TeleDecl<RetTy>, TeleDecl.DataCtor, TeleDecl.StructField
Denotes that the definition is telescopic

  • Method Details

    • telescope

      @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope()

    • setTelescope

      void setTelescope(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)

    • signature

      @Nullable Def.Signature<RetTy> signature()

    • setSignature

      void setSignature(@Nullable Def.Signature<RetTy> signature)