Module Leftistheap

module Leftistheap: sig .. end
Leftist heaps.

See for instance Chris Okasaki's "Purely Functional Data Structures"


exception Empty
module Make: 
functor (X : Set.OrderedType) -> sig .. end