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