functor
(
Topo
:
Types
.
Topology
)
->
functor
(
Parameters
:
sig
end
)
->
Types
.
Topology