module Functor_map: functor (O : Stdlib.Map.OrderedType) -> Functor E@!aJDg AKDg C@@@@MDg A
functor (
O
:
Stdlib.Map.OrderedType
) ->
Functor
E@!aJDg AKDg C@@@@MDg A
type 'a f
'a
val map : ('a -> 'b) -> 'a f -> 'b f
('a -> 'b) -> 'a f -> 'b f