Agda.Syntax.Abstract.Pattern
type NAP
class MapNamedArgPattern a
class APatternLike a p
foldAPattern
preTraverseAPatternM
postTraverseAPatternM
patternVars
containsAPattern
containsAbsurdPattern
containsAsPattern