Agda.TypeChecking.Abstract
typeOf
abstractType
piAbstractTerm
piAbstract
class IsPrefixOf a
abstractTerm
class AbsTerm a
swap01