module type Map2 = sig .. end
sig
end
Type of a module equipped with a "binary" map function.
map
type ('a, 'b) t
('a, 'b)
val map : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t
('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t