functor
(
Dummy
:
sig
end
)
->
Solver