Agda.TypeChecking.Rules.LHS.Problem

type Substitution

type FlexibleVars

data Problem' p

data Focus

data SplitProblem

data SplitError

type ProblemPart

type Problem