Agda.TypeChecking.Abstract
piAbstractTerm
class
IsPrefixOf
a
class
AbstractTerm
a