Agda.Compiler.Epic.Erasure
data Relevancy
isIrr
isRel
(&&-)
data ErasureState
type Erasure
erasure
initiate
relevant
step