functor
(
HeightDiff
:
sig
val
v : int
end
)
->
Maps
.
PolyMapSig