mcrl2::data::sort_terms

Function is_sort_expression

Source 
pub fn is_sort_expression(term: &ATermRef<'_>) -> bool