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

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • java.lang.Record
    • org.aya.core.term.CallTerm.Access (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Con (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.ConHead
    • org.aya.core.term.CallTerm.Data (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Fn (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Hole (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Prim (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Struct (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.ElimTerm.App (implements org.aya.core.term.ElimTerm)
    • org.aya.core.term.ElimTerm.Proj (implements org.aya.core.term.ElimTerm)
    • org.aya.core.term.ErrorTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.FormTerm.Pi (implements org.aya.core.term.FormTerm)
    • org.aya.core.term.FormTerm.Sigma (implements org.aya.core.term.FormTerm)
    • org.aya.core.term.FormTerm.Univ (implements org.aya.core.term.FormTerm)
    • org.aya.core.term.IntroTerm.Lambda (implements org.aya.core.term.IntroTerm)
    • org.aya.core.term.IntroTerm.New (implements org.aya.core.term.IntroTerm)
    • org.aya.core.term.IntroTerm.Tuple (implements org.aya.core.term.IntroTerm)
    • org.aya.core.term.RefTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.RefTerm.Field (implements org.aya.core.term.Term)
    • org.aya.core.term.RefTerm.MetaPat (implements org.aya.core.term.Term)
    • org.aya.core.term.Term.Param (implements org.aya.ref.Bind, org.aya.generic.ParamLike<Expr>)

接口分层结构

• org.aya.util.distill.AyaDocile
  • org.aya.core.term.Term
    • org.aya.core.term.CallTerm
    • org.aya.core.term.ElimTerm
    • org.aya.core.term.FormTerm
    • org.aya.core.term.IntroTerm
• org.aya.core.term.CallTerm.Factory<D,S>
• org.aya.core.term.Term.Visitor<P,R>