Function unknown_explanation_to_string 

pub unsafe extern "C" fn unknown_explanation_to_string(
    exp: UnknownExplanation,
) -> *const c_char

Get a string representation of a Cvc5UnknownExplanation. @param exp The unknown explanation. @return The string representation.