Agda.TypeChecking.Rules.LHS
data DotPatternInst
data AsBinding
flexiblePatterns
dotPatternInsts
instantiatePattern
isSolvedProblem
noShadowingOfConstructors
checkDotPattern
bindLHSVars
bindAsPatterns
useNamesFromPattern
checkLeftHandSide
noPatternMatchingOnCodata