Module Typename.Same_witness_exn_2

Parameters

• A : S2
• B : S2

Signature

type t = {

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

}

val witness : t