- mapping-min-value mappingprocedure
- mapping-max-value mappingprocedure
Returns the value associated with the least/greatest key contained in the mapping mapping. It is an error for mapping to be empty.
Note: It does not make sense to ask for the least/greatest value contained in mapping because the values have no specified order.