def ad.check.hex

bend-osdev-aead@0.1.0.0 · check.bend:70

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

70def ad.check.hex(cs: List<&2, U32>, acc: List<&2, U32>) -> List<&2, U32>:
71  match cs:
72    case Con{a, Con{b, t}}:
73      ad.check.hex(t, Con{U32.add(U32.mul(ad.check.nib(a), 16), ad.check.nib(b)), acc})
74    case _:
75      B.rev(acc)