Module type Reins.Heaps.MonoHeapSigFn


module type MonoHeapSigFn = functor (C : Reins.Types.Mono.Comparable) -> MonoHeapSig  with type elt = C.t
Parameters:
C : Reins.Types.Mono.Comparable

type t 
type elt 
include Reins.Heaps.Heap_
val to_string : 'a heap -> string