Agda.Interaction.MakeCase

type CaseContext

parseVariables

getClauseForIP

makeCase

makePatternVarsVisible

makeAbsurdClause

makeAbstractClause