Function mlirDominanceInfoValueProperlyDominates 

pub unsafe extern "C" fn mlirDominanceInfoValueProperlyDominates(
    info: MlirDominanceInfo,
    a: MlirValue,
    b: MlirOperation,
) -> bool

Returns true if value A properly dominates operation B.