Up
–
Recent_impl
» S
Module type
Recent_impl.S
module
F
(
_
:
sig
...
end
) :
sig
...
end
module
X
:
sig
...
end
val
f :
F(X).t