Dtype.pairs: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/dtype.bend as Dtype
Lines 141-149 of bendtorch@1.3.0.0/dtype.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/dtype.bend&start_line=141&end_line=149

import Base

# the values two by two; an odd last one is paired with 0
def pairs(xs: List<&2, U32>) -> List<&2, HW>:
  match xs:
    case Nil{}:
      Nil{}
    case Con{a, Nil{}}:
      [HW{a, 0}]
    case Con{a, Con{b, t}}:
      HW{a, b} <> pairs(t)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=HW