Module type Solver.S


module type S = sig .. end

type reason