def hits

bendtorch-core@0.1.0.0 · src/tensor/slice.bend:258

import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice

import Base

258def hits(+start: Nat, +step: Nat, +length: Nat, +i: Nat, +k: Nat) -> Bool:
259  Bool.and(Nat.is_le(start, i), Bool.and(Nat.is_lt(k, length), Nat.is_eq(Nat.add(start, Nat.mul(k, step)), i)))

Uses (8)

Used by (6)