Function term_get_set_value 

pub unsafe extern "C" fn term_get_set_value(
    term: Term,
    size: *mut usize,
) -> *const Term

Get a set value as an array of terms. @note Asserts cvc5_term_is_set_value(). @param term The term. @param size The size of the resulting array. @return The representation of a set value as an array of terms.