Agda.TypeChecking.Rules.LHS.Split

splitProblem

checkParsIfUnambiguous

wellFormedIndices

withTypesFrom