Function btor2tools_sys::btor2parser_read_lines

pub unsafe extern "C" fn btor2parser_read_lines(
    arg1: *mut Btor2Parser, 
    arg2: *mut FILE
) -> i32