def DivMod.zero_divisor

bend-collections-laws-math@1.0.0.0 · spec/math/natural.bend:283

import Base
import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as M

283# PDF 3.1: divmod(a, 0) raises ZeroDivisionError
284def DivMod.zero_divisor(+a: Nat) -> Type:
285  {M.divmod(a, 0n) == Fail{M.ZeroDivision{}} : Result<&2, &2, M.MathError, M.QuotRem>}