Hierarchy For Package org.aya.tyck.trace

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.aya.tyck.trace.MarkdownTrace
  • org.aya.util.TreeBuilder<T>
    • org.aya.tyck.trace.Trace.Builder

Interface Hierarchy

• org.aya.util.TreeBuilder.Tree<T>
  • org.aya.tyck.trace.Trace

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.trace.Trace.DeclT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.ExprT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.LabelT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.PatT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.TyckT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.UnifyT (implements org.aya.tyck.trace.Trace)