Agda.Compiler.Epic.CaseOpts
caseOpts
caseOptsExpr