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