mcrl2/data/data.hΒΆ

Include file:

#include "mcrl2/data/data.h"

Contains includes of frequently used header files for data expressions.