law flatten_row_major

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

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

139law flatten_row_major:
140  for +dims: List<&2, Nat>
141  for +coordinate: Shape.Coordinate(dims)
142  {Shape.Fin.value(Shape.numel(dims), Shape.flatten(dims, coordinate)) == Shape.row_major(dims, coordinate) : Nat}