law codec_decode_flatten
bendtorch-core@0.1.0.0 · src/tensor/transform_LAWS.bend:388
import bendtorch-core@0.1.0.0/src/tensor/transform_LAWS.bend as TransformLAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
388law codec_decode_flatten:
389 for +shape: Shape.Shape
390 for +values: List<&2, U32>
391 for +valid: Layout.WordsValid(Shape.dimensions(shape), values)
392 {Layout.reverse_words(Layout.unflatten_words(Layout.reverse_words(Shape.dimensions(shape)),
393 Layout.flatten_words(Shape.dimensions(shape), values, 0))) == values : List<&2, U32>}