def check.dec_u

bolt@1.27.0.0 · src/rules/style/wrap.bend:402

import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

402# one less, and not below zero
403def check.dec_u(+nn: U32) -> U32:
404  Lazy.stop(U32, U32.is_eq(nn, 0), 0, _u => (nn - 1 : U32))

Uses (4)

Used by (2)