Agda.TypeChecking.Abstract

piAbstractTerm

class IsPrefixOf a

class AbstractTerm a