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

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • org.aya.core.term.FormTerm.ISet (implements org.aya.core.term.FormTerm.Sort)
  • org.aya.core.term.FormTerm.Prop (implements org.aya.core.term.FormTerm.Sort)
  • org.aya.core.term.PrimTerm.Interval (implements org.aya.core.term.PrimTerm)

接口分层结构

• org.aya.generic.AyaDocile
  • org.aya.core.term.Term (并 extends org.aya.guest0x0.cubical.Restr.TermLike<E>)
    • org.aya.core.term.CallTerm
      • org.aya.core.term.CallTerm.DefCall
    • org.aya.core.term.ElimTerm
    • org.aya.core.term.FormTerm
      • org.aya.core.term.FormTerm.Sort (并 extends org.aya.core.term.StableWHNF)
    • org.aya.core.term.IntroTerm
    • org.aya.core.term.LitTerm
    • org.aya.core.term.PrimTerm
• org.aya.core.term.CallTerm.Factory<D,S>
• org.aya.guest0x0.cubical.Restr.TermLike<E>
  • org.aya.core.term.Term (并 extends org.aya.generic.AyaDocile)
    • org.aya.core.term.CallTerm
      • org.aya.core.term.CallTerm.DefCall
    • org.aya.core.term.ElimTerm
    • org.aya.core.term.FormTerm
      • org.aya.core.term.FormTerm.Sort (并 extends org.aya.core.term.StableWHNF)
    • org.aya.core.term.IntroTerm
    • org.aya.core.term.LitTerm
    • org.aya.core.term.PrimTerm
• org.aya.core.term.StableWHNF
  • org.aya.core.term.FormTerm.Sort (并 extends org.aya.core.term.FormTerm)

枚举类分层结构

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.aya.core.term.FormTerm.SortKind

Record Class Hierarchy

• 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.DefCall)
    • org.aya.core.term.CallTerm.ConHead
    • org.aya.core.term.CallTerm.Data (implements org.aya.core.term.CallTerm.DefCall, org.aya.core.term.StableWHNF)
    • org.aya.core.term.CallTerm.Fn (implements org.aya.core.term.CallTerm.DefCall)
    • org.aya.core.term.CallTerm.Hole (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Prim (implements org.aya.core.term.CallTerm.DefCall)
    • org.aya.core.term.CallTerm.Struct (implements org.aya.core.term.CallTerm.DefCall, org.aya.core.term.StableWHNF)
    • org.aya.core.term.ElimTerm.App (implements org.aya.core.term.ElimTerm)
    • org.aya.core.term.ElimTerm.PathApp (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.Cube
    • org.aya.core.term.FormTerm.PartTy (implements org.aya.core.term.FormTerm)
    • org.aya.core.term.FormTerm.Path (implements org.aya.core.term.FormTerm, org.aya.core.term.StableWHNF)
    • org.aya.core.term.FormTerm.Pi (implements org.aya.core.term.FormTerm, org.aya.core.term.StableWHNF)
    • org.aya.core.term.FormTerm.Set (implements org.aya.core.term.FormTerm.Sort)
    • org.aya.core.term.FormTerm.Sigma (implements org.aya.core.term.FormTerm, org.aya.core.term.StableWHNF)
    • org.aya.core.term.FormTerm.Type (implements org.aya.core.term.FormTerm.Sort)
    • org.aya.core.term.IntroTerm.Lambda (implements org.aya.core.term.IntroTerm, org.aya.core.term.StableWHNF)
    • org.aya.core.term.IntroTerm.New (implements org.aya.core.term.IntroTerm, org.aya.core.term.StableWHNF)
    • org.aya.core.term.IntroTerm.PartEl (implements org.aya.core.term.IntroTerm)
    • org.aya.core.term.IntroTerm.PathLam (implements org.aya.core.term.IntroTerm, org.aya.core.term.StableWHNF)
    • org.aya.core.term.IntroTerm.Tuple (implements org.aya.core.term.IntroTerm, org.aya.core.term.StableWHNF)
    • org.aya.core.term.LitTerm.ShapedInt (implements org.aya.core.term.LitTerm, org.aya.generic.Shaped.Inductively<T>)
    • org.aya.core.term.PrimTerm.Coe (implements org.aya.core.term.PrimTerm)
    • org.aya.core.term.PrimTerm.Mula (implements org.aya.core.term.PrimTerm)
    • org.aya.core.term.PrimTerm.Str (implements org.aya.core.term.PrimTerm)
    • 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.generic.ParamLike<Expr>)