idalib_sys::inf

Function idalib_inf_gen_assume

pub unsafe fn idalib_inf_gen_assume() -> bool