程序包org.aya.guest0x0.syntax的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • org.aya.guest0x0.syntax.DefVar<D> (implements org.aya.guest0x0.util.AnyVar)
  • java.lang.Record
    • org.aya.guest0x0.syntax.BdryData<E> (implements org.aya.pretty.doc.Docile)
    • org.aya.guest0x0.syntax.CompData<Expr> (implements org.aya.pretty.doc.Docile)
    • org.aya.guest0x0.syntax.Decl.Fn (implements org.aya.guest0x0.syntax.Decl)
    • org.aya.guest0x0.syntax.Decl.Print (implements org.aya.guest0x0.syntax.Decl)
    • org.aya.guest0x0.syntax.Decl.Tele
    • org.aya.guest0x0.syntax.Def.Fn (implements org.aya.guest0x0.syntax.Def)
    • org.aya.guest0x0.syntax.Def.Print (implements org.aya.guest0x0.syntax.Def)
    • org.aya.guest0x0.syntax.Def.Signature (implements org.aya.guest0x0.syntax.FnLike)
    • org.aya.guest0x0.syntax.Expr.Cof (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.DT (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Hcomp (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Hole (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Lam (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Mula (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.PartEl (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.PartTy (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Path (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.PrimTy (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Proj (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Resolved (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Sub (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.SubEl (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Transp (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Two (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Expr.Unresolved (implements org.aya.guest0x0.syntax.Expr)
    • org.aya.guest0x0.syntax.Term.Call (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Cof (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.DT (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Hcomp (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.InS (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Lam (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Mula (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.OutS (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.PartEl (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.PartTy (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Path (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.PCall (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.PLam (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Proj (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Ref (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Sub (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Transp (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.Two (implements org.aya.guest0x0.syntax.Term)
    • org.aya.guest0x0.syntax.Term.UI (implements org.aya.guest0x0.syntax.Term)

接口分层结构

• org.aya.guest0x0.syntax.Decl
• org.aya.pretty.doc.Docile
  • org.aya.guest0x0.syntax.Expr (并 extends org.aya.guest0x0.cubical.Restr.TermLike<E>)
  • org.aya.guest0x0.syntax.Term (并 extends org.aya.guest0x0.cubical.Restr.TermLike<E>)
• org.aya.guest0x0.syntax.FnLike
  • org.aya.guest0x0.syntax.Def
• org.aya.guest0x0.cubical.Restr.TermLike<E>
  • org.aya.guest0x0.syntax.Expr (并 extends org.aya.pretty.doc.Docile)
  • org.aya.guest0x0.syntax.Term (并 extends org.aya.pretty.doc.Docile)

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.aya.guest0x0.syntax.Keyword