Module SolverSig

module SolverSig: sig .. end
Solver paramters

module type Params = sig .. end
Solver paramters
module type Inst = sig .. end
Sigature of a solver instance
module type S = sig .. end