On This Page
package deriving
Module Deriving_Functor.Functor_map
Parameters
module O : Map.OrderedTypeSignature
type 'a f = 'a Map.Make(O).tOn This Page
Deriving_Functor.Functor_mapmodule O : Map.OrderedTypetype 'a f = 'a Map.Make(O).t