value_stack::push

`value_stack::push_uint64`

Push a number onto the stack.

void
push_uint64(
    uint64_t u);

This function pushes a number value onto the stack.

Basic guarantee. Calls to memory_resource::allocate may throw.

Name	Description
`u`	The number to insert.