Agda.Compiler.Epic.Forcing

removeForced

constrType

dataParameters

isIn

isInCase

isInTerm

insertTele

unifyI

remForced

data FoldState

foldM'

lift2

modifyM

replaceForced

raiseFromCC

substCC

substCCBody

substsCCBody

findPosition