auto stringer = [](const object& value) {return value.to_string();};
int32 unboxed_object = 42;
auto result = stringer(boxed_object);
static void write_line()
Writes the current line terminator to the standard output stream using the specified format informati...
int32_t int32
Represents a 32-bit signed integer.
Definition int32.h:23
box_integer< int32 > int32_object
Represent a boxed int32.
Definition int32_object.h:29