程序包org.aya.concrete的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • org.aya.concrete.Pattern.Clause

接口分层结构

• org.aya.generic.AyaDocile
  • org.aya.concrete.Expr (并 extends org.aya.guest0x0.cubical.Restr.TermLike<E>, org.aya.util.error.SourceNode)
    • org.aya.concrete.Expr.SortExpr
    • org.aya.concrete.Expr.WithTerm
  • org.aya.concrete.Pattern (并 extends org.aya.util.binop.BinOpParser.Elem<Expr>, org.aya.util.error.SourceNode)
  • org.aya.concrete.TacNode
• org.aya.concrete.GenericAyaParser
• org.aya.guest0x0.cubical.Restr.TermLike<E>
  • org.aya.concrete.Expr (并 extends org.aya.generic.AyaDocile, org.aya.util.error.SourceNode)
    • org.aya.concrete.Expr.SortExpr
    • org.aya.concrete.Expr.WithTerm
• org.aya.util.error.SourceNode
  • org.aya.util.binop.BinOpParser.Elem<Expr>
    • org.aya.concrete.Pattern (并 extends org.aya.generic.AyaDocile, org.aya.util.error.SourceNode)
  • org.aya.concrete.Expr (并 extends org.aya.generic.AyaDocile, org.aya.guest0x0.cubical.Restr.TermLike<E>)
    • org.aya.concrete.Expr.SortExpr
    • org.aya.concrete.Expr.WithTerm
  • org.aya.concrete.Pattern (并 extends org.aya.generic.AyaDocile, org.aya.util.binop.BinOpParser.Elem<Expr>)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.concrete.Expr.AppExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.BinOpSeq (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.ErrorExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.Field
    • org.aya.concrete.Expr.HoleExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.ISetExpr (implements org.aya.concrete.Expr.SortExpr)
    • org.aya.concrete.Expr.LamExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.LiftExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.LitIntExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.LitStringExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.MetaPat (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.NamedArg (implements org.aya.generic.AyaDocile, org.aya.util.binop.BinOpParser.Elem<Expr>, org.aya.util.error.SourceNode)
    • org.aya.concrete.Expr.NewExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.Param (implements org.aya.generic.ParamLike<Expr>)
    • org.aya.concrete.Expr.PartEl (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.Path (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.PiExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.ProjExpr (implements org.aya.concrete.Expr, org.aya.concrete.Expr.WithTerm)
    • org.aya.concrete.Expr.PropExpr (implements org.aya.concrete.Expr.SortExpr)
    • org.aya.concrete.Expr.RawSortExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.RefExpr (implements org.aya.concrete.Expr, org.aya.concrete.Expr.WithTerm)
    • org.aya.concrete.Expr.SetExpr (implements org.aya.concrete.Expr.SortExpr)
    • org.aya.concrete.Expr.SigmaExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.TupExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.TypeExpr (implements org.aya.concrete.Expr.SortExpr)
    • org.aya.concrete.Expr.UnresolvedExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Pattern.Absurd (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.Bind (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.BinOpSeq (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.CalmFace (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.Ctor (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.Number (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.Tuple (implements org.aya.concrete.Pattern)
    • org.aya.concrete.TacNode.ExprTac (implements org.aya.concrete.TacNode)
    • org.aya.concrete.TacNode.ListExprTac (implements org.aya.concrete.TacNode)