模块 org.aya
程序包 org.aya.ref

接口 Bind

所有超级接口:
org.aya.util.distill.AyaDocile
所有已知实现类:
Term.Param
@NonExtendable public interface Bind extends org.aya.util.distill.AyaDocile

  • 方法概要

    修饰符和类型
    方法
    说明
    boolean
    explicit()
     
    @NotNull LocalVar
    ref()
     
    @NotNull Arg<? extends Term>
    toArg()
     
    @NotNull Term
    toTerm()
     
    @Nullable Term
    type()
     

    从接口继承的方法 org.aya.util.distill.AyaDocile

    debuggerOnlyToDoc, toDoc

  • 方法详细资料

    • ref

      @Contract(pure=true) @NotNull @NotNull LocalVar ref()

    • type

      @Contract(pure=true) @Nullable @Nullable Term type()

    • explicit

      @Contract(pure=true) boolean explicit()

    • toArg

      @Contract(" -> new") @NotNull @NotNull Arg<? extends Term> toArg()

    • toTerm

      @Contract(" -> new") @NotNull @NotNull Term toTerm()