Ascent++ | read by operator

Assertion list for term "read by operator".

Results from Ascent++: 2

communication → ReceivesAction → read by operator	0.54
message → ReceivesAction → read by operator	0.51