def bfill_l

bend-ml-tensor-array@0.1.19.0 · main.bend:1597

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

1597# does a block of n numbers starting at flat index i end before the second band of a
1598# node with r rows? does it start in the second band?
1599def bfill_l(+r: Nat, +c: Nat, +i: Nat, +n: Nat) -> Bool:
1600  Nat.is_le(Nat.add(i, n), Nat.mul(half(r), c))

Uses (6)

Used by (2)