模块 aya.base

程序包 org.aya.core.term

package org.aya.core.term

Related Packages

程序包	说明
org.aya.core

类	说明
CallTerm
CallTerm.Access
CallTerm.Con
CallTerm.ConHead
CallTerm.Data
CallTerm.DefCall
CallTerm.Factory<D extends Def,S extends Decl>
CallTerm.Fn
CallTerm.Hole
CallTerm.Prim
CallTerm.Struct
ElimTerm	Elimination rules.
ElimTerm.App
ElimTerm.PathApp
ElimTerm.Proj
ErrorTerm
FormTerm	Formation rules.
FormTerm.Interval
FormTerm.PartTy	partial type
FormTerm.Path	generalized path type
FormTerm.Pi
FormTerm.Sigma
FormTerm.Univ
IntroTerm	Introduction rules.
IntroTerm.Lambda
IntroTerm.New
IntroTerm.PartEl	partial element
IntroTerm.PathLam
IntroTerm.Tuple
LitTerm
LitTerm.ShapedInt
PrimTerm
PrimTerm.Mula
PrimTerm.Str
RefTerm
RefTerm.Field
RefTerm.MetaPat
Term	A well-typed and terminating term.
Term.Param