Agda.Interaction.MakeCase
type CaseContext
parseVariables
getClauseForIP
makeCase
makePatternVarsVisible
makeAbsurdClause
makeAbstractClause