Up
—
package
typerep
Parameter
Typerep_lib.Typename.Same_witness_exn_2.1-A
type
('a, 'b) t
val
typename_of_t :
'a
typename
‑>
'b
typename
‑>
(
'a
,
'b
)
t
typename