Skip to main content

mk_string_from_char32

cvc5_sys

Function mk_string_from_char32 

Source 
pub unsafe extern "C" fn mk_string_from_char32(
    tm: *mut TermManager,
    s: *const char32_t,
) -> Term
Expand description

Create a String constant from a UTF-32 string. This function does not support escape sequences as wide character already supports unicode characters. @param tm The term manager instance. @param s The UTF-32 string this constant represents. @return The String constant.