Module Type_abstract.Make1

Parameters

module X : Named_intf.S1

Signature

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