~/jendhub

def at_most_zero_at

bendtorch-core@0.1.0.0 · src/tensor/relu_LAWS.bend:27

import bendtorch-core@0.1.0.0/src/tensor/relu_LAWS.bend as ReluLAWS
import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

27def at_most_zero_at(words: List<&2, U32>) -> List<&2, Bool>:
28  match words:
29    case Nil{}:
30      Nil{}
31    case Con{word, rest}:
32      Elementwise.at_most_zero(from_bits(word)) <> at_most_zero_at(rest)

Uses (5)

Used by (1)