程序包org.aya.tyck.unify的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • org.aya.tyck.unify.TermComparator
    • org.aya.tyck.unify.Unifier

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.unify.TermComparator.FailureData
    • org.aya.tyck.unify.TermComparator.Sub (implements java.lang.Cloneable)