sig module Create : functor (P : SolverSig.Params-> SolverSig.Inst end