~/jendhub

def VecT.Padded

bend-tensors@0.0.0.2 · bend_tensors.bend:1575

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

1575def VecT.Padded(+n: Nat, v: VecT(n), +i0: Nat, +m: Nat) -> Type:
1576  match n:
1577    case 0n:
1578      VecL{x} = v
1579      Vec4.Padded(Nat.sub(m, i0), x)
1580    case 1n+p:
1581      VecN{l, r} = v
1582      VecT.Padded(p, l, i0, m) & VecT.Padded(p, r, Nat.add(i0, VecT.size(p)), m)

Uses (9)

Used by (1)