Skip to main content

sort_kind_to_string

cvc5_sys

Function sort_kind_to_string 

Source 
pub unsafe extern "C" fn sort_kind_to_string(
    kind: SortKind,
) -> *const c_char
Expand description

Get a string representation of a Cvc5SortKind. @param kind The sort kind. @return The string representation.