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