模块 aya.base
程序包 org.aya.core.def

类 TopLevelDef<Ret extends Term>

java.lang.Object
org.aya.core.def.TopLevelDef<Ret>
所有已实现的接口:
Def, GenericDef, AyaDocile
直接已知子类:
PrimDef, UserDef
public abstract sealed class TopLevelDef<Ret extends Term> extends Object implements Def permits UserDef<Ret>, PrimDef
Top-level definitions.

  • 字段详细资料

    • telescope

      @NotNull public final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope

    • result

      @NotNull public final Ret extends Term result

  • 构造器详细资料

    • TopLevelDef

      protected TopLevelDef(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, @NotNull Ret result)

  • 方法详细资料

    • telescope

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope()
      指定者:
      telescope 在接口中 Def

    • result

      @NotNull public Ret result()
      指定者:
      result 在接口中 GenericDef