Extlib.Pair
val map : (('a -> 'b) * ('c -> 'd)) -> ('e * 'f) -> 'g * 'h
val map_left : ('a -> 'b) -> ('c * 'd) -> 'e * 'f
val map_right : ('a -> 'b) -> ('c * 'd) -> 'e * 'f