Hierarchy For Package org.aya.core.pat

Package Hierarchies:

• All Packages

Class Hierarchy

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

Interface Hierarchy

• 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.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.Nat<T>)
    • org.aya.core.pat.Pat.Tuple (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.PatMatcher
    • org.aya.core.pat.PatUnify