def lin_zeros
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA
700def lin_zeros(+i: Nat, +o: Nat) -> Lin<i, o>:
701 Lin{TA.Mat.zeros(o, i), TA.Mat.zeros(1n, o)}
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA
700def lin_zeros(+i: Nat, +o: Nat) -> Lin<i, o>:
701 Lin{TA.Mat.zeros(o, i), TA.Mat.zeros(1n, o)}