[−][src]Function btor2tools_sys::btor2parser_iter_next
pub unsafe extern "C" fn btor2parser_iter_next(
arg1: *mut Btor2LineIterator
) -> *mut Btor2Line
pub unsafe extern "C" fn btor2parser_iter_next(
arg1: *mut Btor2LineIterator
) -> *mut Btor2Line