Module Same_witness_exn_2 (A : S2) (B : S2)

type t = {

eq

: 'a 'b . (('a, 'b) A.t, ('a, 'b) B.t) Type_equal.t

;

}