Lines Matching full:implies
654 /// order. The instruction order A < B, implies that no edge exists from B to A.
