Agda.TypeChecking.Telescope
rename
renaming
renamingR
flattenTel
reorderTel
unflattenTel
teleNames
teleArgNames
teleArgs
data
SplitTel
splitTelescope