def refusal

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

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

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

173def refusal(dimensions: List<&2, U32>, +dim: U32, +step: U32) -> Maybe<&2, Error>:
174  refused(Nat.is_lt(U32.to_nat(dim), Shape.rank_dimensions(dimensions)), Nat.is_lt(0n, U32.to_nat(step)))

Uses (8)

Used by (5)