Agda.TypeChecking.Rules.LHS

flexiblePatterns

dotPatternInsts

instantiatePattern

isSolvedProblem

noShadowingOfConstructors

checkDotPattern

bindLHSVars

bindAsPatterns

checkLeftHandSide

noPatternMatchingOnCodata