Module CCHeapSource

Leftist Heaps

Implementation following Okasaki's book.

Sourcetype 'a iter = ('a -> unit) -> unit

Fast internal iterator.

  • since 2.8
Sourcetype 'a gen = unit -> 'a option
Sourcetype 'a ktree = unit -> [ `Nil | `Node of 'a * 'a ktree list ]
Sourcetype 'a printer = Format.formatter -> 'a -> unit
Sourcemodule type PARTIAL_ORD = sig ... end
Sourcemodule type TOTAL_ORD = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (E : PARTIAL_ORD) : S with type elt = E.t
Sourcemodule Make_from_compare (E : TOTAL_ORD) : S with type elt = E.t

A convenient version of Make that take a TOTAL_ORD instead of a partially ordered module. It allow to directly pass modules that implement compare without implementing leq explicitly