模块 aya.base

程序包 org.aya.concrete

package org.aya.concrete

Related Packages

程序包	说明
org.aya.concrete.desugar
org.aya.concrete.error
org.aya.concrete.remark
org.aya.concrete.stmt
org.aya.concrete.visitor

类	说明
Expr
Expr.AppExpr
Expr.BinOpSeq
Expr.ErrorExpr
Expr.Field
Expr.HoleExpr
Expr.IntervalExpr
Expr.LamExpr
Expr.LiftExpr
Expr.LitIntExpr
Expr.LitStringExpr
Expr.MetaPat
Expr.NamedArg
Expr.NewExpr
Expr.Param
Expr.PartEl	partial element
Expr.PartTy	partial type
Expr.Path	generalized path type
Expr.PiExpr
Expr.ProjExpr
Expr.RawUnivExpr
Expr.RefExpr	def infix + add (a b : Nat) => ...
Expr.SigmaExpr
Expr.TupExpr
Expr.UnivExpr
Expr.UnresolvedExpr
Expr.WithTerm
GenericAyaParser
Pattern
Pattern.Absurd
Pattern.Bind
Pattern.BinOpSeq
Pattern.CalmFace
Pattern.Clause
Pattern.Ctor
Pattern.Number
Pattern.Tuple
TacNode
TacNode.ExprTac
TacNode.ListExprTac