def share

bend-ml-tensor-gpu@0.1.5.1 · main.bend:360

import bend-ml-tensor-gpu@0.1.5.1/main.bend as BendMlTensorGpu

import Base

360# how many of the cells t, t + l, t + 2l, .. lie below n
361def share(+t: U32, +n: U32, +l: U32) -> Nat:
362  U32.to_nat(Bool.pick(U32, U32.is_lt(t, n), U32.div(((n - t : U32) + (l - 1 : U32) : U32), l), 0))

Uses (8)

Used by (20)