Function mlirDominanceInfoValueDominates 

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

Returns true if value A dominates operation B (the operation defining A is B or A properly dominates B).