Function btor2tools_sys::btor2parser_get_line_by_id
source · pub unsafe extern "C" fn btor2parser_get_line_by_id(
arg1: *mut Btor2Parser,
id: i64
) -> *mut Btor2Line
pub unsafe extern "C" fn btor2parser_get_line_by_id(
arg1: *mut Btor2Parser,
id: i64
) -> *mut Btor2Line