module type MonoHeapSigFn = functor (C : Reins.Types.Mono.Comparable) -> MonoHeapSig with type elt = C.t
functor (
C
:
Reins.Types.Mono.Comparable
) ->
MonoHeapSig
with type elt = C.t
type t
type elt
include Reins.Heaps.Heap_
val to_string : 'a heap -> string
'a heap -> string