mcrl2::data::sort_terms

Function is_data_function_sort

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