Function parser_append_inc_str_input 

pub unsafe extern "C" fn parser_append_inc_str_input(
    parser: *mut InputParser,
    input: *const c_char,
)

Append string to the input being parsed by this parser. Should be called after calling cvc5_parser_set_inc_str_input(). @param parser The input parser instance. @param input The input string.