Agda.TypeChecking.Substitute
canProject
conApp
defApp
argToDontCare
piApply
telVars
namedTelVars
abstractArgs
renaming
renamingR
renameP
applyNLPatSubst
fromPatternSubstitution
applyPatSubst
projDropParsApply
type TelView
data TelV a
telView'
telView'UpTo
bindsToTel'
bindsToTel
bindsWithHidingToTel'
bindsWithHidingToTel
mkPi
mkLam
telePi'
telePi
telePi_
teleLam
class TeleNoAbs a
typeArgsWithTel
compiledClauseBody
pts
sLub
dLub
lvlView
levelMax
sortTm
levelSort
levelTm
unLevelAtom
data Substitution' a
type Substitution