~/jendhub

def exacts_none

bendtorch-core@0.1.0.0 · src/tensor/signed_PROOF.bend:224

import bendtorch-core@0.1.0.0/src/tensor/signed_PROOF.bend as SignedPROOF
import Base
import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed
import bendtorch-core@0.1.0.0/src/tensor/signed_LAWS.bend as Laws

224def exacts_none(+dimensions: List<&2, U32>) -> {Signed.inferred_count(Laws.exacts(dimensions)) == 0n : Nat}:
225  match dimensions:
226    case Nil{}:
227      {==}
228    case extent <> +rest:
229      exacts_none(rest)

Uses (5)

Used by (1)