Agda.Interaction.MakeCase
type CaseContext
findClause
parseVariables
makeCase
makeAbsurdClause
makeAbstractClause
deBruijnIndex