Push a key onto the stack.
void push_key( string_view s);
This function notionally removes all the characters currently on the stack,
then pushes a
value containing a key onto the
stack formed by appending
to the removed characters.
Basic guarantee. Calls to
The characters to append. This may be empty.