Agda.TypeChecking.Patterns.Abstract
expandLitPattern
expandPatternSynonyms'
class ExpandPatternSynonyms a