~/jendhub

law unflatten_checked_refines

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

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

171law unflatten_checked_refines:
172  for +shape: Shape.Shape
173  for +index: U32
174  {coordinate_result(shape, Shape.unflatten_checked(shape, index)) == unflatten_spec(Shape.extents(shape), fin_of(Shape.numel(Shape.extents(shape)), U32.to_nat(index))) : Maybe<&2, List<&2, U32>>}

Uses (12)

Used by (1)