模块 aya.guest.base
程序包 org.aya.guest0x0.syntax

接口 Decl

所有已知实现类:
Decl.Fn, Decl.Print
public sealed interface Decl permits Decl.Fn, Decl.Print
Concrete syntax of global definitions.

  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final record 
    Decl.Fn
     
    static final record 
    Decl.Print
     
    static final record 
    Decl.Tele
     

  • 方法概要

    修饰符和类型
    方法
    说明
    @NotNull DefVar<? extends Def>
    name()
     
    @NotNull Decl.Tele
    tele()
     

  • 方法详细资料

    • name

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

    • tele

      @NotNull @NotNull Decl.Tele tele()