pub unsafe fn get_data_function_symbol_index(term: *const _aterm) -> usize
Obtain the index assigned internally to every data function symbol.