Agda.Interaction.MakeCase
findClause
makeCase
prettySplitError
makeAbsurdClause
makeAbstractClause
deBruijnIndex