Agda.TypeChecking.Patterns.Abstract

expandLitPattern

expandPatternSynonyms'

class ExpandPatternSynonyms a