Functor Typename.Same_witness_exn_4

module Same_witness_exn_4: 
functor (A : S4) ->
functor (B : S4) -> sig .. end
Parameters:
A : S4
B : S4

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