Hierarchy For Package org.aya.tyck

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.aya.tyck.Tycker
    • org.aya.tyck.ExprTycker

Interface Hierarchy

• org.aya.tyck.ExprTycker.Result

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.ExprTycker.SortResult (implements org.aya.tyck.ExprTycker.Result)
    • org.aya.tyck.ExprTycker.TermResult (implements org.aya.tyck.ExprTycker.Result)
    • org.aya.tyck.ExprTycker.TyResult (implements org.aya.tyck.ExprTycker.Result)
    • org.aya.tyck.LittleTyper
    • org.aya.tyck.StmtTycker
    • org.aya.tyck.TyckState
    • org.aya.tyck.TyckState.Eqn (implements org.aya.generic.AyaDocile)