![]() |
Home | Libraries | People | FAQ | More |
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 |
---|---|
|
The number to insert. |