Agda.TypeChecking.Patterns.Match

data Match a

matchedArgs

buildSubstitution

foldMatch

matchCopatterns

matchCopattern

matchPatterns

matchPattern

yesSimplification