Skip to main content

kind_to_string

Function kind_to_string 

Source
pub unsafe extern "C" fn kind_to_string(kind: Kind) -> *const c_char
Expand description

Get a string representation of a Cvc5Kind. @param kind The kind. @return The string representation.