Skip to main content

cvc5_sort_to_string

Function cvc5_sort_to_string 

Source
pub unsafe extern "C" fn cvc5_sort_to_string(
    sort: Cvc5Sort,
) -> *const c_char
Expand description

Get a string representation of a given sort. @param sort The sort. @return A string representation of the given sort. @note The returned char* pointer is only valid until the next call to this function.