模块 org.aya

程序包 org.aya.core.term

package org.aya.core.term

Related Packages

程序包	说明
org.aya.core
org.aya.core.def
org.aya.core.ops
org.aya.core.pat
org.aya.core.serde
org.aya.core.visitor

类	说明
CallTerm
CallTerm.Access
CallTerm.Con
CallTerm.ConHead
CallTerm.Data
CallTerm.Factory<D extends Def,S extends Signatured>
CallTerm.Fn
CallTerm.Hole
CallTerm.Prim
CallTerm.Struct
ElimTerm	Elimination rules.
ElimTerm.App
ElimTerm.Proj
ErrorTerm
FormTerm	Formation rules.
FormTerm.Pi
FormTerm.Sigma
FormTerm.Univ
IntroTerm	Introduction rules.
IntroTerm.Lambda
IntroTerm.New
IntroTerm.Tuple
RefTerm
RefTerm.Field
RefTerm.MetaPat
Term	A well-typed and terminating term.
Term.Param
Term.Visitor<P,R>