模块 aya.guest.base

程序包 org.aya.guest0x0.syntax

package org.aya.guest0x0.syntax

类	说明
BdryData<E extends org.aya.pretty.doc.Docile & org.aya.guest0x0.cubical.Restr.TermLike<E>>
CompData<Expr extends org.aya.pretty.doc.Docile>
Decl	Concrete syntax of global definitions.
Decl.Fn
Decl.Print
Decl.Tele
Def
Def.Fn
Def.Print
Def.Signature	For (maybe mutually) recursive definitions, like types and functions
DefVar<D extends Def>	Use with extreme caution: the field DefVar.core can be assigned only once after the core is generated.
Expr
Expr.Cof
Expr.DT
Expr.Hcomp
Expr.Hole
Expr.Lam
Expr.Mula
Expr.PartEl
Expr.PartTy
Expr.Path
Expr.PrimTy
Expr.Proj
Expr.Resolved
Expr.Sub	"Proper" cubical subtypes
Expr.SubEl	inS/outS, the introduction/elimination rules for the subtype relation
Expr.Transp
Expr.Two
Expr.Unresolved
FnLike
Keyword
Term
Term.Call
Term.Cof
Term.DT
Term.Hcomp
Term.InS
Term.Lam
Term.Mula
Term.OutS
Term.PartEl
Term.PartTy
Term.Path
Term.PCall
Term.PLam
Term.Proj
Term.Ref
Term.Sub
Term.Transp
Term.Two
Term.UI