程序包org.aya.core.pat的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • org.aya.core.pat.PatToTerm

接口分层结构

• org.aya.generic.AyaDocile
  • org.aya.core.pat.Pat

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.core.pat.Pat.Absurd (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Bind (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Ctor (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.End (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Meta (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Preclause<T> (implements org.aya.generic.AyaDocile)
    • org.aya.core.pat.Pat.ShapedInt (implements org.aya.core.pat.Pat, org.aya.generic.Shaped.Inductively<T>)
    • org.aya.core.pat.Pat.Tuple (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.PatMatcher
    • org.aya.core.pat.PatUnify