module Leftistheap: sig .. end
sig
end
Leftist heaps.
See for instance Chris Okasaki's "Purely Functional Data Structures"
exception Empty
module Make: functor (X : Stdlib.Set.OrderedType) -> sig .. end
functor (
X
:
Stdlib.Set.OrderedType
) ->