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