Searched defs:optionSolver (Results 1 – 2 of 2) sorted by relevance
658 , optionSolver configSolver (\v flags -> flags { configSolver = v }) function999 optionSolver fetchSolver (\v flags -> flags { fetchSolver = v }) : function2565 optionSolver get set = function
699 , optionSolver configSolver (\v flags -> flags { configSolver = v }) function1087 optionSolver fetchSolver (\v flags -> flags { fetchSolver = v }) : function2862 optionSolver get set = function