Functor Deriving_Functor.Functor_map

module Functor_map: 
functor (O : Map.OrderedType-> Functor with type 'a f = 'a Map.Make(O).t
Parameters:
O : Map.OrderedType

type 'a f 
val map : ('a -> 'b) -> 'a f -> 'b f