~/jendhub

def fit_values_true

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

import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
import Base

471def fit_values_true(+dims: List<&2, U32>, +values: List<&2, Nat>, equal: {True{} == fit_values(dims, values) : Bool}) -> {True{} == fit(naturals(dims), values) : Bool}:
472  %fit_values_spec(dims, values) : {True{} == _ : Bool}
473  equal

Uses (8)

Used by (1)