Functor Hptmap.Shape

module Shape: 
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.

Parameters:
Key : Id_Datatype

include Hptmap_sig.Shape
type 'a t = 'a map