Function mk_array_sort 

pub unsafe extern "C" fn mk_array_sort(
    tm: *mut TermManager,
    index: Sort,
    elem: Sort,
) -> Sort

Create an array sort. @param tm The term manager instance. @param index The array index sort. @param elem The array element sort. @return The array sort.