A syntactic approach to continuity of T-definable functionals (Logical Methods in Computer Science, 2020)