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