Removes and deletes the top of the stack, if present. * The next element becomes the new top. * */
source not stored for this graph (policy: none)
no test coverage detected