pub unsafe extern "C" fn parser_delete(parser: *mut InputParser)Expand description
Delete a cvc5 input parser instance. @param parser The input parser instance.
pub unsafe extern "C" fn parser_delete(parser: *mut InputParser)Delete a cvc5 input parser instance. @param parser The input parser instance.