Hierarchy For Package org.aya.tyck
Class Hierarchy
- java.lang.Object
- org.aya.tyck.tycker.AbstractTycker (implements org.aya.tyck.tycker.Contextful, org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
- org.aya.tyck.ExprTycker (implements org.aya.tyck.tycker.Unifiable)
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- org.aya.tyck.ExprTycker.NotPi
- java.lang.Exception
- org.aya.tyck.tycker.AbstractTycker (implements org.aya.tyck.tycker.Contextful, org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
Interface Hierarchy
- org.aya.tyck.Jdg
Record Class Hierarchy
- java.lang.Object
- java.lang.Record
- org.aya.tyck.Jdg.Default (implements org.aya.tyck.Jdg)
- org.aya.tyck.Jdg.Lazy (implements org.aya.tyck.Jdg)
- org.aya.tyck.Jdg.Sort (implements org.aya.tyck.Jdg)
- org.aya.tyck.StmtTycker (implements org.aya.tyck.tycker.Problematic)
- org.aya.tyck.TyckState
- org.aya.tyck.TyckState.Eqn (implements org.aya.generic.AyaDocile)
- java.lang.Record