module AVL_GenMap: functor (HeightDiff : sigval v : intend) -> Reins.Maps.GenMapSigFnStd
functor (
HeightDiff
:
sig
val v : int
int
end
) ->
Reins.Maps.GenMapSigFnStd
sig val v : int end
include Reins.Maps.MonoMapSig
val gen : ?size:int -> Random.State.t -> t
?size:int -> Random.State.t -> t