mcrl2/data/sort_specification.h

Include file:

#include "mcrl2/data/sort_specification.h"

This file describes the a sort_specification,.

Functions

data::sort_expression normalize_sorts(const sort_expression &x, const data::sort_specification &sortspec)