Function cvc5_term_get_string_value 

pub unsafe extern "C" fn cvc5_term_get_string_value(
    term: Cvc5Term,
) -> *const wchar_t

Get the native string representation of a string value. @note Requires that the term is a string value (see cvc5_term_is_string_value()). @note This is not to be confused with cvc5_term_to_string(), which returns some string representation of the term, whatever data it may hold. @param term The term. @return The string term as a native string value.

@warning This function is deprecated and replaced by cvc5_term_get_u32string_value(). It will be removed in a future release.