Function cvc5_mk_array_sort 

pub unsafe extern "C" fn cvc5_mk_array_sort(
    tm: *mut Cvc5TermManager,
    index: Cvc5Sort,
    elem: Cvc5Sort,
) -> Cvc5Sort

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.