Agda.Compiler.Epic.Forcing
dataParameters
dataParametersTCM
piApplyM'
insertTele
unifyI
remForced
forcedExpr
replaceForced
buildTerm
findPosition