Assertion: ended queue | /r/HasProperty | represented as sextuple lenf
Facets:
Source sentences:
text: A double-ended queue is represented as a sextuple lenf, f, sf, lenr, r, sr where f is a linked list which contains the front of the queue of length lenf .