Agda.Compiler.Epic.Erasure
isIrr
isRel
(||-)
(&&-)
data ErasureState
type Erasure
erasure
removeUnused
initiate
initialRels
ignoreForced
relevant
step
diff