Agda.Compiler.Epic.Erasure

isIrr

isRel

(||-)

(&&-)

data ErasureState

type Erasure

erasure

removeUnused

initiate

initialRels

ignoreForced

relevant

step

diff