Generic.Random.Internal.Solver

data SolveArgs

defSolveArgs

findZero

fixedPoint

search