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