Agda.TypeChecking.Rules.LHS

data DotPatternInst

data AsBinding

flexiblePatterns

dotPatternInsts

instantiatePattern

isSolvedProblem

noShadowingOfConstructors

checkDotPattern

bindLHSVars

bindAsPatterns

useNamesFromPattern

checkLeftHandSide

noPatternMatchingOnCodata