Agda.TypeChecking.Substitute
class Apply t
piApply
class Abstract t
abstractArgs
type Substitution
class Subst t
idSub
subst
absApp
class Raise t
raise
data TelView
telView'
telePi
telePi_
dLub