Esto quiere decir que el siguiente código es una función válida, devolviendo uno de dos posibles valores para una llamada a la función: