mCRL2
|
#include <sort_expression.h>
Public Member Functions | |
std::size_t | operator() (const mcrl2::data::sort_expression &x) const |
Definition at line 154 of file sort_expression.h.
|
inline |
Definition at line 156 of file sort_expression.h.