Function idalib_sys::inf::idalib_inf_gen_assume

pub unsafe fn idalib_inf_gen_assume() -> bool