接口 Def

所有超级接口:
FnLike
所有已知实现类:
Def.Fn, Def.Print

public sealed interface Def extends FnLike permits Def.Fn, Def.Print
  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final record 
     
    static final record 
     
    static final record 
    For (maybe mutually) recursive definitions, like types and functions
  • 方法概要

    修饰符和类型
    方法
    说明
    @NotNull DefVar<? extends Def>
     

    从接口继承的方法 org.aya.guest0x0.syntax.FnLike

    result, teleRefs, telescope, teleVars
  • 方法详细资料

    • name

      @NotNull @NotNull DefVar<? extends Def> name()