interface queue {

/* -------------------------------------------[ update ]--- */
/* DESC: …*/
public void enqueue(int element);

/* - - - - - - - - - - - - - - - - - - - - - - - - - - - -  */
/* DESC: …
   PRE:  NOT empty()
*/
public int dequeue();
/* --------------------------------------------[ query ]--- */
/* DESC:   Vrne stevilo elementov v vrsti.
   POST:   RESULT >= 0
*/
public int size();

/* - - - - - - - - - - - - - - - - - - - - - - - - - - - -  */
/* DESC:   Vrne ali je vrsta prazna.
   POST:   RESULT == (this.size() == 0)
*/
public boolean empty();
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - -  */
/* DESC:   Vrne ime vrste.
*/
public String name();

/* - - - - - - - - - - - - - - - - - - - - - - - - - - - -  */
/* DESC:   Pogleda ali je element elt v vrsti this.
*/
public boolean member(int elt);

/* - - - - - - - - - - - - - - - - - - - - - - - - - - - -  */
/* DESC:   Kako je ime razredu.
*/
public  String imeRazreda ();

} /* queue */