Agda.TypeChecking.Patterns.Match

data Match

matchPatterns

matchPattern