module Heap: CCHeaptype'asequence =('a -> unit) -> unit
type'agen =unit -> 'a option
type'aklist =unit -> [ `Cons of 'a * 'a klist | `Nil ]
type'aktree =unit -> [ `Nil | `Node of 'a * 'a ktree list ]
type'aprinter =Format.formatter -> 'a -> unit
module type PARTIAL_ORD =sig..end
module type S =sig..end
module Make(E:PARTIAL_ORD):Swith type elt = E.t