Function modes_input_language_to_string

pub unsafe extern "C" fn modes_input_language_to_string(
    lang: InputLanguage,
) -> *const c_char

Expand description

Get a string representation of a Cvc5InputLanguage. @param lang The input language. @return The string representation.

modes_input_language_to_string