For multi-valued functions (eg. squared root of a positive integer, for example), it's sufficient to return a collection or sequence of values. Compiler/IDE/analysis support is very good for these ...