Module Typename.Make1

Parameters

module X : Named_intf.S1

Signature

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