Ruby 2.1.0 リファレンスマニュアル > ライブラリ一覧 > irb/cmd/pushwsライブラリ > IRB::ExtendCommand::PopWorkspaceクラス > execute
execute(*obj) -> [IRB::WorkSpace]
UNIX シェルコマンドの popd と同じです。