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