def divmod_ok

bend-collections-laws-crypto@1.0.0.0 · src/math/generic.bend:602

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N

602def divmod_ok(~T: Data, ~op: N.Op<T> -> T, +a: T, +b: T, zero: Bool) -> Result<&2, &2, N.NumError, QuotRem<T>>:
603  match zero:
604    case True{}:
605      Fail{N.DivByZero{}}
606    case False{}:
607      Done{TQR{op(N.Quot{a, b}), op(N.Rem{a, b})}}