Agda.TypeChecking.Substitute.Class
class Apply t
applys
apply1
class Abstract t
class Subst t a
raise
raiseFrom
subst
strengthen
substUnder
idS
wkS
raiseS
consS
singletonS
inplaceS
liftS
dropS
composeS
splitS
(++#)
prependS
parallelS
compactS
strengthenS
lookupS
absApp
lazyAbsApp
noabsApp
absBody
mkAbs
reAbs
underAbs
underLambdas