~/jendhub

law flatten_checked_refines

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

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

166law flatten_checked_refines:
167  for +shape: Shape.Shape
168  for +values: List<&2, U32>
169  {index_result(shape, Shape.flatten_checked(shape, values)) == flatten_spec(Shape.extents(shape), decode(Shape.extents(shape), Shape.naturals(values))) : Maybe<&2, U32>}

Uses (11)

Used by (1)