Agda.Syntax.Internal.Pattern
data
OneHolePatterns
data
OneHolePattern
plugHole
allHoles
allHolesWithContents