[−][src]Function btor2tools_sys::btor2parser_iter_init
pub unsafe extern "C" fn btor2parser_iter_init(
bfr: *mut Btor2Parser
) -> Btor2LineIterator
pub unsafe extern "C" fn btor2parser_iter_init(
bfr: *mut Btor2Parser
) -> Btor2LineIterator