Function create_sorted_data_variable

pub unsafe fn create_sorted_data_variable(
    name: String,
    sort: *const _aterm,
) -> *const _aterm

Creates an sorted data variable, must be within in a critical section.