Module Typename.Same_witness_exn_1

Parameters

• A : S1
• B : S1

Signature

type t = {

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

}

val witness : t