def Mat.dup

bendtorch@1.3.0.0 · main.bend:1555

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

1555# two copies of a matrix
1556def Mat.dup(+r: Nat, +c: Nat, m: TA.Mat<r, c>) -> Two<TA.Mat<r, c>, TA.Mat<r, c>>:
1557  dup_fin(r, c, TA.Mat.clone(r, c, m))

Uses (5)

Used by (5)