Function sort_get_uninterpreted_sort_constructor 

pub unsafe extern "C" fn sort_get_uninterpreted_sort_constructor(
    sort: Sort,
) -> Sort

Get the associated uninterpreted sort constructor of an instantiated uninterpreted sort.

@param sort The sort. @return The uninterpreted sort constructor sort.