Agda.TypeChecking.Substitute
class Apply t
piApply
class Abstract t
telVars
abstractArgs
type Substitution
class Subst t
idSub
subst
class Raise t
raise
rename
data TelV a
type TelView
telFromList
telToList
telView'
telePi
telePi_
teleLam
dLub
absApp
absBody
mkAbs
reAbs
sLub
lvlView
levelMax
sortTm
levelSort
levelTm
unLevelAtom