Agda.TypeChecking.Abstract

typeOf

abstractType

piAbstractTerm

piAbstract

class IsPrefixOf a

abstractTerm

class AbsTerm a

swap01