Module Solver

module Solver: sig .. end

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