module Make0: functor (X : Named_intf.S0) -> S0 with type t := X.t
functor (
X
:
Named_intf.S0
) ->
S0
with type t := X.t
type t
val typename_of_t : t Typename.typename
t Typename.typename