Agda.TypeChecking.Coverage.Match
data
MPat
buildMPatterns
data
Match
a
choice
type
MatchLit
noMatchLit
yesMatchLit
match
matchLits
matchClause
matchPats
matchPat