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