3 ms·Cool. So `void f (double a, double b)` is like `f : R^2 -> R^0`, where R^0 is a singleton set.by ramshorns 6y agoCool. So `void f (double a, double b)` is like `f : R^2 -> R^0`, where R^0 is a singleton set.