def relu_found
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackwardimport Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
1622def relu_found(+a: Nat, pair: Found()) -> Tape & Result<&2, &2, Error, Nat>:
1623 (entries, input) = pair
1624 match input:
1625 case Fail{error}:
1626 (Tape{entries}, Fail{UnknownNode{}})
1627 case Done{input}:
1628 relu_shaped(a, entries, Core.shape(input))