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