qtamaki/leftist-heaps — pull request #1 by halcat0x15a (2012-12-07 08:38:39+00:00)
Title: replace Ordered with Ordering

Orderingに変更しました。