Functor Generator.Map

module Map: 
functor (M : Map.S) -> 
functor (G : Gen  with type g = M.key) -> sig .. end

val gen : int Generator.t -> 'a Generator.t -> 'a M.t Generator.t

gen i g constructs a generator for maps from G.g to 'a. i is the generator used to determine the map size, while g is used to generate 'a values.