Agda.TypeChecking.Rules.LHS.ProblemRest
useNamesFromPattern
noProblemRest
typeFromProblem
problemFromPats
updateProblemRest_
updateProblemRest