Function vampire_term_to_string 

pub unsafe extern "C" fn vampire_term_to_string(
    term: *mut vampire_term_t,
) -> *mut c_char

Convert a term to a string representation. @param term The term @return Allocated string (must be freed with vampire_free_string), or NULL on error