mcrl2::data::data_terms

Function is_data_function_symbol

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