-- -*- M2-comint -*- hash: 7259845219675647576

i1 : Q = priorityQueue {1,2,3}

o1 = PriorityQueue{...4...}

o1 : PriorityQueue

i2 : deleteMin Q

o2 = PriorityQueue{...4...}

o2 : PriorityQueue

i3 : min Q

o3 = 2

i4 : 
