Module Same_witness_exn_1 (A : S1) (B : S1)

type t = {

eq

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

;

}