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