def fit_words_true
bendtorch-core@0.1.0.0 · src/shape/boundary_proofs.bend:82
import bendtorch-core@0.1.0.0/src/shape/boundary_proofs.bend as BoundaryProofs
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/shape/coordinate_proofs.bend as Coordinates
82def fit_words_true(+dims: List<&2, U32>, +values: List<&2, U32>, equal: {True{} == Shape.fit_words(dims, values) : Bool}) -> {True{} == Shape.fit(Shape.naturals(dims), Shape.naturals(values)) : Bool}:
83 %Coordinates.fit_words_spec(dims, values) : {True{} == _ : Bool}
84 equal