sig
  module T2 :
    sig
      type ('a, 'b) t
      val create : 'a -> 'b -> ('a, 'b) Space_safe_tuple.T2.t
      external get1 : ('a, 'b) Space_safe_tuple.T2.t -> 'a = "%field0"
      external get2 : ('b, 'a) Space_safe_tuple.T2.t -> 'a = "%field1"
    end
  module T3 :
    sig
      type ('a, 'b, 'c) t
      val create : 'a -> 'b -> 'c -> ('a, 'b, 'c) Space_safe_tuple.T3.t
      external get1 : ('a, 'b, 'c) Space_safe_tuple.T3.t -> 'a = "%field0"
      external get2 : ('b, 'a, 'c) Space_safe_tuple.T3.t -> 'a = "%field1"
      val get3 : ('b, 'c, 'a) Space_safe_tuple.T3.t -> 'a
    end
  val ounit_tests : unit -> OUnit.test
end