CBMC
|
The below enables convenient syntax for feeding objects into streams, via stream << format(o) More...
#include <format.h>
Public Member Functions | |
format_containert (const T &_o) | |
Public Attributes | |
const T & | o |
The below enables convenient syntax for feeding objects into streams, via stream << format(o)
|
inlineexplicit |
const T& format_containert< T >::o |