The spec says it is the inverse of maybe->lisp-values, but what follows is the same as values->maybe and doesn't seem like the inverse of maybe->lisp-values.
If it is the inverse, producer must return two values, the second one is a boolean to indicate nothing/just.  Don't know if it's useful, though.