模块 aya.base

接口 Decl.Telescopic

所有已知实现类:
TeleDecl, TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField
封闭接口:
Decl

public static sealed interface Decl.Telescopic permits TeleDecl, TeleDecl.DataCtor, TeleDecl.StructField
Denotes that the definition is telescopic
  • 方法详细资料

    • 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 signature()
    • setSignature

      void setSignature(@Nullable Def.Signature signature)