def flatten_checked

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

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

import Base

712def flatten_checked(+shape: Shape, values: List<&2, U32>) -> Result<&2, &2, Error, FlatIndex<shape>>:
713  +copy = values
714  flatten_checked.ranked(shape, copy, bool_case(Nat.is_eq(rank_dimensions(dimensions(shape)), rank_dimensions(copy))))

Uses (11)

Used by (22)