constant_product_out

Calculates output amount for a constant product swap.

Given reserves x, y and input dx, returns dy such that (x+dx)(y-dy) = xy

Formula

dy = y × dx / (x + dx)

Returns

None if reserves are zero

Fully qualified path: cairo_fp::f128::math::pool::constant_product_out

fn constant_product_out(x: Fixed, y: Fixed, dx: Fixed) -> Option<Fixed>