Module type Reins.Heaps.GenHeapSigFn

module type GenHeapSigFn = functor (C : Reins.Types.Mono.ArbitraryComparable) -> GenHeapSig  with type elt = C.t

include Reins.Heaps.MonoHeapSig

val gen : ?size:int -> Random.State.t -> t