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