module T2:sig..end
type('a, 'b)t ='a * 'b
include Sexpable.S2
val create : 'a -> 'b -> ('a, 'b) tval curry : (('a, 'b) t -> 'c) -> 'a -> 'b -> 'cval uncurry : ('a -> 'b -> 'c) -> ('a, 'b) t -> 'cval compare : cmp1:('a -> 'a -> int) ->
cmp2:('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> intval get1 : ('a, 'b) t -> 'aval get2 : ('a, 'b) t -> 'bval map1 : f:('a -> 'b) -> ('a, 'c) t -> ('b, 'c) tval map2 : f:('a -> 'b) -> ('c, 'a) t -> ('c, 'b) tval swap : ('a, 'b) t -> ('b, 'a) t