Agda.Interaction.MakeCase

findClause

makeCase

makeAbsurdClause

makeAbstractClause

deBruijnIndex