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