Agda.Syntax.Internal.Pattern

data OneHolePatterns

data OneHolePattern

plugHole

allHoles

allHolesWithContents