module Shape: functor (Key : Id_Datatype) -> sig .. end
functor (
Key
:
Id_Datatype
) ->
sig
end
This functor builds Hptmap_sig.Shape for maps indexed by keys Key, which contains all functions on hptmap that do not create or modify maps.
Hptmap_sig.Shape
include Hptmap_sig.Shape
type 'a t = 'a map
'a
'a map