Agda.TypeChecking.Abstract
piAbstractTerm
class
AbstractTerm
a