Agda.TypeChecking.Patterns.Match

data Match a

foldMatch

matchCopatterns

matchCopattern

matchPatterns

matchPattern

yesSimplification