所有程序包的分层结构

程序包分层结构:

• org.aya.guest0x0.syntax,
• org.aya.guest0x0.tyck,
• org.aya.guest0x0.util

类分层结构

• java.lang.Object
  • org.aya.guest0x0.syntax.DefVar<D> (implements org.aya.guest0x0.util.AnyVar)
  • java.lang.Record
    • org.aya.guest0x0.util.AltF7
    • 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.tyck.Elaborator
    • org.aya.guest0x0.tyck.Elaborator.Synth
    • 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.tyck.HCompPDF.Transps
    • org.aya.guest0x0.util.LocalVar (implements org.aya.guest0x0.util.AnyVar)
    • org.aya.guest0x0.tyck.Normalizer (implements org.aya.guest0x0.cubical.CofThy.SubstObj<E,V,Subst>)
    • org.aya.guest0x0.util.Param<Term> (implements org.aya.pretty.doc.Docile)
    • org.aya.guest0x0.tyck.Resolver
    • 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.tyck.Unifier.FailureData
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • org.aya.guest0x0.util.SPE
  • org.aya.guest0x0.tyck.Unifier

接口分层结构

• org.aya.guest0x0.util.AnyVar
• java.util.function.BiFunction<T,U,R>
  • org.aya.guest0x0.util.Distiller.PP<E>
• org.aya.guest0x0.syntax.Decl
• org.aya.guest0x0.util.Distiller
• 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.tyck.HCompPDF
• 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.util.Distiller.Prec
    • org.aya.guest0x0.syntax.Keyword