Module Typerep_lib.Typename.Same_witness_exn_1

Parameters

B : S1
A : S1

Signature

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