~/jendhub

def words_fit_true

bendtorch-core@0.1.0.0 · src/tensor/permutation_mapping.bend:417

import bendtorch-core@0.1.0.0/src/tensor/permutation_mapping.bend as PermutationMapping
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
import bendtorch-core@0.1.0.0/src/shape/coordinate_proofs.bend as Coordinates

417def words_fit_true(+dimensions: List<&2, U32>, +values: List<&2, U32>, +valid: Layout.WordsValid(dimensions, values)) ->
418  {True{} == Shape.fit(Shape.naturals(dimensions), Shape.naturals(values)) : Bool}:
419  %Coordinates.indices_of(Shape.naturals(dimensions), Shape.naturals(values), coordinate_fits(dimensions, values, valid)) :
420    {True{} == Shape.fit(Shape.naturals(dimensions), _) : Bool}
421  Coordinates.fit_indices(Shape.naturals(dimensions), Coordinates.coordinate_of(Shape.naturals(dimensions), Shape.naturals(values),
422    coordinate_fits(dimensions, values, valid)))

Uses (10)

Used by (1)