Lines Matching full:unordered
483 are neither equal, less or greater, but merely unordered with respect489 version, they are unordered: we cannot say that either happens-before