CBMC
|
Identity functor. When we use C++20 this can be replaced with std::identity. More...
#include <dense_integer_map.h>
Public Member Functions | |
template<typename T > | |
constexpr T && | operator() (T &&t) const |
Identity functor. When we use C++20 this can be replaced with std::identity.
Definition at line 23 of file dense_integer_map.h.
|
inlineconstexpr |
Definition at line 27 of file dense_integer_map.h.