Parameter B : S1

Signature

type 'a t

val typename_of_t : 'a typename -> 'a t typename