Typename.Same_witness_exn_1
module A : S1
module B : S1
type t = {
eq : a. ('a A.t, 'a B.t) Type_equal.t;
}
val witness : t