Up
—
package
typerep
Module
Typerep_lib.Typename.Same_witness_exn_2
Parameters
B
:
S2
A
:
S2
Signature
type
t
=
{
eq : a b. ((
'a
,
'b
)
A.t
, (
'a
,
'b
)
B.t
)
Type_equal.t
;
}
val
witness :
t