* Returns the minimum of all entries in O(size()). * If the buffer is empty, the zero element is returned. */
source not stored for this graph (policy: none)
no test coverage detected