Hierarchy For Package org.aya.unify

Package Hierarchies:

• All Packages

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.unify.TermComparator
      • org.aya.unify.Unifier

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.unify.DoubleChecker (implements org.aya.tyck.tycker.Contextful, org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
    • org.aya.unify.Synthesizer (implements org.aya.tyck.tycker.Contextful, org.aya.tyck.tycker.Stateful)
    • org.aya.unify.TermComparator.FailureData