pub unsafe extern "C" fn sort_kind_to_string( kind: SortKind, ) -> *const c_char
Get a string representation of a Cvc5SortKind. @param kind The sort kind. @return The string representation.