Lines Matching full:implies
1399 which in turn implies it must be r-held, since a lock3596 which implies that 'lk' should have been acquired before
