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