def ranged

bendtorch-core@0.1.0.0 · src/tensor/gather.bend:143

import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather

import Base

143def ranged(+kind: Lookup, +dimensions: List<&2, U32>, +axis: Nat, +entries: List<&2, U32>, +length: Nat, inside: Bool) ->
144  Result<&2, &2, Error, Planned>:
145  match inside:
146    case False{}:
147      Fail{OutOfRange{}}
148    case True{}:
149      accepted(kind, dimensions, axis, length)

Uses (9)

Used by (6)