diff --git a/src/core/CCPair.ml b/src/core/CCPair.ml index 7b763cb5..b222be6e 100644 --- a/src/core/CCPair.ml +++ b/src/core/CCPair.ml @@ -5,6 +5,8 @@ type ('a,'b) t = ('a * 'b) +let make x y = x,y + let map1 f (x,y) = f x,y let map2 f (x,y) = x,f y diff --git a/src/core/CCPair.mli b/src/core/CCPair.mli index ca4a2c79..a63d1f3e 100644 --- a/src/core/CCPair.mli +++ b/src/core/CCPair.mli @@ -5,6 +5,10 @@ type ('a,'b) t = ('a * 'b) +val make : 'a -> 'b -> ('a, 'b) t +(** Make a tuple from its components + @since NEXT_RELEASE *) + val map1 : ('a -> 'b) -> ('a * 'c) -> ('b * 'c) val map2 : ('a -> 'b) -> ('c * 'a) -> ('c * 'b)