module Solver: sig .. end
sig
end
module type S = sig .. end
module M: functor (X : S) -> sig .. end
functor (
X
:
S
) ->