def coordinate_checked.nat

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

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

import Base

678def coordinate_checked.nat(+shape: Shape, +values: List<&2, Nat>) -> Result<&2, &2, Error, CheckedCoordinate<shape>>:
679  coordinate_checked.finish(shape, values, bool_case(fit_values(dimensions(shape), values)))

Uses (10)

Used by (6)