pseudo_metric_space source