Agda.TypeChecking.Rules.LHS.Split

asView

expandLitPattern

splitProblem

wellFormedIndices

withTypesFrom