Module type Solver.S

module type S = sig .. end

type reason