Searched refs:namedBindsToTel1 (Results 1 – 2 of 2) sorted by relevance
382 let tel = setTac tac $ namedBindsToTel1 xs t509 let tel = namedBindsToTel1 xs argsT
1225 namedBindsToTel1 :: List1 (NamedArg Name) -> Type -> Telescope1226 namedBindsToTel1 = namedBindsToTel . List1.toList function