Agda.TypeChecking.Coverage.Match

data MPat

buildMPatterns

data Match a

choice

type MatchLit

noMatchLit

yesMatchLit

match

matchLits

matchClause

matchPats

matchPat