sig type ('a, 'b) t = ('a, 'b) Space_safe_tuple.T2.t val create : 'a -> 'b -> ('a, 'b) t external get1 : ('a, 'b) t -> 'a = "%field0" external get2 : ('b, 'a) t -> 'a = "%field1" end