Up
–
shadow
» Shadow
Module
Shadow
module
M
:
functor
(
S
:
sig
...
end
)
->
functor
(
D
:
sig
...
end
)
->
sig
...
end