Module Solver


module Solver: sig .. end

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