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