模块 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.Array	Array Expr
Expr.Array.CompBlock	Array Comp(?)
Expr.Array.ElementList
Expr.BinOpSeq
Expr.Do
Expr.DoBind
Expr.ErrorExpr
Expr.Field
Expr.HoleExpr
Expr.Idiom
Expr.IdiomNames
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.List	Undesugared List Pattern
Pattern.Number
Pattern.Tuple
TacNode
TacNode.ExprTac
TacNode.ListExprTac