模块 aya.base

程序包 org.aya.tyck.trace

接口 Trace

所有超级接口:

org.aya.util.TreeBuilder.Tree<Trace>

所有已知实现类:

Trace.DeclT, Trace.ExprT, Trace.LabelT, Trace.PatT, Trace.TyckT, Trace.UnifyT

public sealed interface Trace
extends org.aya.util.TreeBuilder.Tree<Trace>
permits Trace.LabelT, Trace.DeclT, Trace.ExprT, Trace.UnifyT, Trace.TyckT, Trace.PatT

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final class	Trace.Builder
static final record	Trace.DeclT
static final record	Trace.ExprT
static final record	Trace.LabelT
static final record	Trace.PatT
static final record	Trace.TyckT
static final record	Trace.UnifyT

方法概要

从接口继承的方法 org.aya.util.TreeBuilder.Tree

children