Agda.TypeChecking.Rules.LHS.ProblemRest

useNamesFromPattern

noProblemRest

typeFromProblem

problemFromPats

updateProblemRest_

updateProblemRest