Function mlirDominanceInfoProperlyDominatesBlock 

pub unsafe extern "C" fn mlirDominanceInfoProperlyDominatesBlock(
    info: MlirDominanceInfo,
    a: MlirBlock,
    b: MlirBlock,
) -> bool

Returns true if block A properly dominates block B.