~/jendhub

def below_zero_at

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

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

20def below_zero_at(words: List<&2, U32>) -> List<&2, Bool>:
21  match words:
22    case Nil{}:
23      Nil{}
24    case Con{word, rest}:
25      Elementwise.below_zero(from_bits(word)) <> below_zero_at(rest)

Uses (5)

Used by (1)