pub unsafe extern "C" fn kind_to_string(kind: Kind) -> *const c_char
Get a string representation of a Cvc5Kind. @param kind The kind. @return The string representation.