pub fn check_relax_claim(claim: &RelaxClaim) -> boolExpand description
THE judge. Recomputes the residual with this crate’s own exact multiplication and checks the declared bound. Rejects malformed claims outright.
pub fn check_relax_claim(claim: &RelaxClaim) -> boolTHE judge. Recomputes the residual with this crate’s own exact multiplication and checks the declared bound. Rejects malformed claims outright.