模块 aya.guest.base

程序包 org.aya.guest0x0.syntax

接口 Def

所有超级接口:

FnLike

所有已知实现类:

Def.Fn, Def.Print

public sealed interface Def
extends FnLike
permits Def.Fn, Def.Print

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	Def.Fn
static final record	Def.Print
static final record	Def.Signature	For (maybe mutually) recursive definitions, like types and functions

方法概要

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

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

result, teleRefs, telescope, teleVars

方法详细资料

name

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