Agda.Compiler.Epic.ConstructorIrrelevancy

irrFilter

constrIrr

irrFun

irrExpr

irrBranch