AllInvariants runs all invariants of the x/leverage module.

BorrowAmountInvariant checks that borrow amounts have all positive values.

BorrowAPYInvariant checks that Borrow APY have all positive values.

CollateralAmountInvariant checks that collateral amounts have all positive values.

InterestScalarsInvariant checks that all denoms have an interest scalar >= 1.

Interpolate takes a line defined by two points (xMin, yMin) and (xMax, yMax), then finds the y-value of the point on that line for an input x-value.

LendAPYInvariant checks that Lend APY have all positive values.

NewMsgServerImpl returns an implementation of MsgServer for the x/leverage module.

RegisterInvariants registers the leverage module invariants.

ReserveAmountInvariant checks that reserve amounts have non-negative balances.

Querier implements a QueryServer for the x/leverage module.