law scalar_relu_backward_passed

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

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

98law scalar_relu_backward_passed:
99  for +left: F32
100  for +right: F32
101  for passed: {Elementwise.at_most_zero(left) == False{} : Bool}
102  {Elementwise.scalar(Elementwise.ReluBackward{}, left, right) == right : F32}