xor.ts

type PartialByteXOR<LHS extends Bit[], RHS extends Bit[]> = LHS extends [
  infer LHSU extends Bit,
  ...infer LHSR extends Bit[]
]
  ? RHS extends [infer RHSU extends Bit, ...infer RHSR extends Bit[]]
    ? [BitXor<LHSU, RHSU>, ...PartialByteXOR<LHSR, RHSR>]
    : []
  : [];
type ByteXOR<LHS extends Byte, RHS extends Byte> = LHS extends [
  infer LHSU extends Bit,
  ...infer LHSR extends Bit[]
]
  ? RHS extends [infer RHSU extends Bit, ...infer RHSR extends Bit[]]
    ? [BitXor<LHSU, RHSU>, ...PartialByteXOR<LHSR, RHSR>]
    : []
  : [];