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