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

type t = {

eq

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

;

}