def VecT.full

bend-tensors@0.0.0.2 · bend_tensors.bend:476

import Base

476def VecT.full(+n: Nat, +x: F32) -> VecT(n):
477  match n:
478    case 0n:
479      VecL{Vec4.full(x)}
480    case 1n+p:
481      l r = VecT.full(p, x) VecT.full(p, x)
482      VecN{l, r}