def Mat.zeros

bend-tensors@0.0.0.2 · bend_tensors.bend:1418

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
import Base

1418def Mat.zeros(+rows: Nat, +cols: Nat) -> Mat<rows, cols>:
1419  MatS{MatT.zeros(VecT.depth(rows), VecT.depth(cols))}

Uses (4)

Used by (0)

No other definition uses this definition.