模块 aya.base

程序包 org.aya.concrete

package org.aya.concrete

相关程序包

程序包	说明
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.ISetExpr
Expr.LamExpr
Expr.LiftExpr
Expr.LitIntExpr
Expr.LitStringExpr
Expr.MetaPat
Expr.NamedArg
Expr.NewExpr
Expr.Param
Expr.PartEl	partial element
Expr.Path	generalized path type
Expr.PiExpr
Expr.ProjExpr
Expr.PropExpr
Expr.RawSortExpr
Expr.RefExpr	def infix + add (a b : Nat) => ...
Expr.SetExpr
Expr.SigmaExpr
Expr.SortExpr
Expr.TupExpr
Expr.TypeExpr
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