module PolyHeap: Reins.Heaps.PolyHeapSig
Reins.Heaps.PolyHeapSig
type 'a t
'a
include Reins.Heaps.Heap_
val to_string : ('a -> string) -> 'a heap -> string
('a -> string) -> 'a heap -> string