Include file:
#include "mcrl2/data/is_sub_sort.h"
add your file description here.
mcrl2::data::
is_sub_sort
(const sort_expression &x1, const sort_expression &x2)¶mcrl2::data::detail::
is_numeric_sort
(const sort_expression &x)¶mcrl2::data::detail::
numeric_sort_value
(const sort_expression &x)¶