def fit_words_false
bendtorch-core@0.1.0.0 · src/shape/boundary_proofs.bend:86
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
86def fit_words_false(+dims: List<&2, U32>, +values: List<&2, U32>, equal: {False{} == Shape.fit_words(dims, values) : Bool}) -> {False{} == Shape.fit(Shape.naturals(dims), Shape.naturals(values)) : Bool}:
87 %Coordinates.fit_words_spec(dims, values) : {False{} == _ : Bool}
88 equal