Octets.cr.oct.xorl: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/octets.bend as Octets
Lines 6-17 of bend-osdev-crypto@0.1.0.0/octets.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/octets.bend&start_line=6&end_line=17

import Base

# xs xor ys, element by element, over xs's length (a missing element of ys
# counts as 0)
def cr.oct.xorl(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
  match xs:
    case Nil{}:
      Nil{}
    case Con{x, xt}:
      match ys:
        case Nil{}:
          Con{U32.xor(x, 0), cr.oct.xorl(xt, Nil{})}
        case Con{y, yt}:
          Con{U32.xor(x, y), cr.oct.xorl(xt, yt)}

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=Base/base.bend&name=U32.xor