def unflatten_checked

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

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

import Base

723def unflatten_checked(+shape: Shape, index: U32) -> Result<&2, &2, Error, CheckedCoordinate<shape>>:
724  +value = U32.to_nat(index)
725  unflatten_checked.finish(shape, value, bool_case(Nat.is_lt(value, elements(shape))))

Uses (10)

Used by (17)