BendTensors.Vec4.from_list: def of bend-tensors@0.0.0.2
Import: import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
Lines 126-138 of bend-tensors@0.0.0.2/bend_tensors.bend: https://jend.leeeet.dev/read.txt?path=bend-tensors@0.0.0.2/bend_tensors.bend&start_line=126&end_line=138

import Base

# the first four of xs, padded with 0.0, and the rest
def Vec4.from_list(xs: List<&2, F32>) -> Vec4:
  match xs:
    case x0 <> x1 <> x2 <> x3 <> rest:
      Vec4{x0, x1, x2, x3}
    case x0 <> x1 <> x2 <> []:
      Vec4{x0, x1, x2, 0.0}
    case x0 <> x1 <> []:
      Vec4{x0, x1, 0.0, 0.0}
    case x0 <> []:
      Vec4{x0, 0.0, 0.0, 0.0}
    case []:
      Vec4{0.0, 0.0, 0.0, 0.0}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-tensors@0.0.0.2/bend_tensors.bend&name=Vec4