Function sort_fun_get_domain 

pub unsafe extern "C" fn sort_fun_get_domain(
    sort: Sort,
    size: *mut usize,
) -> *const Sort

Get the domain of a given function sort. @param sort The sort. @param size The size of the resulting array of domain sorts. @return The domain sorts of a function sort.