Include file:
#include "mcrl2/data/expression_traits.h"
Contains term traits for data_expression.
mcrl2::data::expression_traits
mcrl2::core::term_traits
mcrl2/data/exists.h
mcrl2/data/fbag.h
