~/jendhub

def Mat.Padded

bend-tensors@0.0.0.2 · bend_tensors.bend:1611

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

1611def Mat.Padded(+rows: Nat, +cols: Nat, m: Mat<rows, cols>) -> Type:
1612  MatS{t} = m
1613  MatT.Padded(VecT.depth(rows), VecT.depth(cols), t, 0n, 0n, rows, cols)

Uses (4)

Used by (0)

No other definition uses this definition.