Function sort_instantiate 

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

Instantiate a parameterized datatype sort or uninterpreted sort constructor sort.

Create sort parameters with cvc5_mk_param_sort().

@param sort The sort to instantiate. @param size The number of sort parameters to instantiate with. @param params The list of sort parameters to instantiate with. @return The instantiated sort.