Agda.TypeChecking.Rules.LHS.Problem

type Substitution

type FlexibleVars

data FlexibleVarKind

data FlexibleVar a

defaultFlexibleVar

flexibleVarFromHiding

data Problem' p

type Problem

type ProblemPart

data ProblemRest

data Focus

data SplitProblem

consSplitProblem

data DotPatternInst

data AsBinding

data LHSState