Agda.TypeChecking.Rules.LHS.Problem
type Substitution
type FlexibleVars
data Problem' p
data ProblemRest
data Focus
data SplitProblem
data SplitError
type Problem
type ProblemPart
data DotPatternInst
data AsBinding
data LHSState