Agda.TypeChecking.Telescope

renameP

renaming

renamingR

flattenTel

reorderTel

reorderTel_

unflattenTel

teleNames

teleArgNames

teleArgs

data SplitTel

splitTelescope

telView

telViewUpTo

telViewUpTo'

piApplyM