Up
Parameter
B
:
S1
Signature
type
'a t
val
typename_of_t : 'a
typename
-> 'a
t
typename