def linear_counted
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackwardimport Base
1332def linear_counted(+x: Nat, +w: Nat, +bias: Nat, pair: List<&1, Entry> & Nat) -> Tape & Result<&2, &2, Error, Nat>:
1333 (entries, +count) = pair
1334 linear_checked(x, w, bias, entries, Nat.is_lt(bias, count))