def bfill_r

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

import Base

1602def bfill_r(+r: Nat, +c: Nat, +i: Nat) -> Bool:
1603  Nat.is_le(Nat.mul(half(r), c), i)

Uses (5)