e < - [ weight , vertex ]
if distance [ e [ 1 ] ] > distance [ u ] + e [ 0 ] : NEW_LINE INDENT distance [ e [ 1 ] ] = distance [ u ] + e [ 0 ] NEW_LINE if is_in_queue [ e [ 1 ] ] == False : NEW_LINE DEDENT