def Vec.Padded

bend-tensors@0.0.0.2 · bend_tensors.bend:1607

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

import Base

1607def Vec.Padded(+m: Nat, v: Vec<m>) -> Type:
1608  VecS{t} = v
1609  VecT.Padded(VecT.depth(m), t, 0n, m)

Uses (4)

Used by (0)

No other definition uses this definition.