def narrow_map

bendtorch@1.3.0.0 · tensor.bend:537

import bendtorch@1.3.0.0/tensor.bend as Tensor

import Base

537def narrow_map(+s: List<&2, Nat>, +d: Nat, +st: Nat, +l: Nat) -> IMap:
538  window(setd(s, d, l), s, U32.from_nat(Nat.mul(st, inner(s, d))))

Uses (8)

Used by (2)