Agda.Compiler.Epic.Erasure

data Relevancy

isIrr

isRel

(&&-)

data ErasureState

type Erasure

erasure

initiate

relevant

step