mCRL2
|
#include <container_type.h>
Public Member Functions | |
std::size_t | operator() (const mcrl2::data::container_type &v) const |
Definition at line 348 of file container_type.h.
|
inline |
Definition at line 350 of file container_type.h.