Arzel\`a-Ascoli Characterisation of Total Boundedness