Assertion: queue | /r/HasProperty | rear
Facets:
Source sentences:
text: enqueue(data) if queue is full return overflow endif rear ← rear + 1 queue[rear] ← data return true end procedure