~/jendhub

def linear_checked

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1325

import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackward
import Base

1325def linear_checked(+x: Nat, +w: Nat, +bias: Nat, entries: List<&1, Entry>, known: Bool) -> Tape & Result<&2, &2, Error, Nat>:
1326  match known:
1327    case False{}:
1328      (Tape{entries}, Fail{UnknownNode{}})
1329    case True{}:
1330      biased(bias, matmul_nt(Tape{entries}, x, w))

Uses (11)

Used by (1)