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