模块 org.aya

程序包 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.LamExpr
Expr.LiftExpr
Expr.LitIntExpr
Expr.LitStringExpr
Expr.MetaPat
Expr.NamedArg
Expr.NewExpr
Expr.Param
Expr.PiExpr
Expr.ProjExpr
Expr.RawUnivExpr
Expr.RefExpr	def infix + add (a b : Nat) => ...
Expr.SigmaExpr
Expr.TupExpr
Expr.UnivExpr
Expr.UnresolvedExpr
Expr.Visitor<P,R>
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