def lcm_checked
bend-collections-laws-math@1.0.0.0 · proofs/math/typed/u32int.bend:268
import bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int.bend as U32int
import Base
import bend-collections-laws-math@1.0.0.0/spec/math/generic.bend as SG
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as NM
import bend-collections-laws-math@1.0.0.0/src/math/instances.bend as I
268def lcm_checked(+a: U32, +b: U32) -> SG.Lcm.checked(~U32, ~I.u32_op, ~I.u32_is, ~SG.u32_val, ~SG.u32_of, 32n, a, b):
269 lcmc(a, b, Bool.or(I.u32_is(NM.IsZero{a}), I.u32_is(NM.IsZero{b})), v(a), v(b), {==}, {==}, {==})