Agda.Interaction.MakeCase

type CaseContext

findClause

parseVariables

makeCase

makeAbsurdClause

makeAbstractClause

deBruijnIndex