Hierarchy For Package org.aya.tyck.env

Package Hierarchies:

• All Packages

Interface Hierarchy

• org.aya.tyck.env.LocalCtx

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.env.MapLocalCtx (implements org.aya.tyck.env.LocalCtx)
    • org.aya.tyck.env.SeqLocalCtx (implements org.aya.tyck.env.LocalCtx)
    • org.aya.tyck.env.SeqLocalCtx.P