Agda.TypeChecking.Abstract

piAbstractTerm

class AbstractTerm a