Every Metric Space Is Separable in Function Realizability