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