Function ResUtilLeftPaxosIsLessThanRight 

pub unsafe fn ResUtilLeftPaxosIsLessThanRight(
    left: *const PaxosTagCStruct,
    right: *const PaxosTagCStruct,
) -> BOOL