mcrl2/data/sort_type_checker.h

Include file:

#include "mcrl2/data/sort_type_checker.h"

add your file description here.