~/jendhub

law row_major_bounded

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

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

124law row_major_bounded:
125  for +dims: List<&2, Nat>
126  for +coordinate: Shape.Coordinate(dims)
127  Shape.LT(Shape.row_major(dims, coordinate), Shape.numel(dims))

Uses (9)

Used by (0)

No other definition uses this definition.