let
strip_solver_pool =
function
SolverPool
p
->
p
|
_
->
assert
false