def flat_checked

bendtorch-core@0.1.0.0 · src/shape/core.bend:695

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

import Base

695def flat_checked(+shape: Shape, +index: Nat) -> Result<&2, &2, Error, FlatIndex<shape>>:
696  flat_checked.finish(shape, index, bool_case(Nat.is_lt(index, elements(shape))))

Uses (9)

Used by (3)