module EdosSolver: sig .. end
sig
end
module type S = sig .. end
module type T = sig .. end
module M: functor (X : S) -> T with module X = X
functor (
X
:
S
) ->
T
with module X = X