Agda.Compiler.Epic.Forcing
removeForced
constrType
dataParameters
isIn
isInCase
isInTerm
insertTele
unifyI
remForced
data
FoldState
foldM'
lift2
modifyM
replaceForced
raiseFromCC
substCC
substCCBody
substsCCBody
findPosition