Agda.TypeChecking.Rules.LHS.Split
splitProblem
checkParsIfUnambiguous
wellFormedIndices
withTypesFrom