Text this: Every metric space is separable in function realizability