Agda.TypeChecking.Coverage.Match
match
buildPattern
isTrivialPattern
type MatchResult
data Match a
data BlockingVar
type BlockingVars
mapBlockingVarCons
clearBlockingVarCons
overlapping
zipBlockingVars
choice
type MatchLit
noMatchLit
yesMatchLit
matchLits
matchClause
matchPats
matchPat