Agda.Interaction.MakeCase

data CaseContext

findClause

makeCase

makeAbsurdClause

makeAbstractClause

deBruijnIndex