Module aya.base

Package org.aya.tyck.trace

Interface Trace

All Superinterfaces:

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

All Known Implementing Classes:

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
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

Method Summary

Methods inherited from interface org.aya.util.TreeBuilder.Tree

children