Agda.Interaction.MakeCase

data CaseContext

findClause

parseVariables

makeCase

makeAbsurdClause

makeAbstractClause

deBruijnIndex