module T3: sig .. end
sig
end
type ('a, 'b, 'c) t
('a, 'b, 'c)
val create : 'a -> 'b -> 'c -> ('a, 'b, 'c) t
'a -> 'b -> 'c -> ('a, 'b, 'c) t
val get1 : ('a, 'b, 'c) t -> 'a
('a, 'b, 'c) t -> 'a
val get2 : ('b, 'a, 'c) t -> 'a
('b, 'a, 'c) t -> 'a
val get3 : ('b, 'c, 'a) t -> 'a
('b, 'c, 'a) t -> 'a