~/jendhub

def AdBlk.and

bend-osdev-aead@0.1.0.0 · aesround.bend:27

import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround
import Base

27def AdBlk.and(a: AdBlk, b: AdBlk) -> AdBlk:
28  match a b:
29    case AdBlk{a0, a1, a2, a3} AdBlk{b0, b1, b2, b3}:
30      AdBlk{U32.and(a0, b0), U32.and(a1, b1), U32.and(a2, b2), U32.and(a3, b3)}

Uses (2)

Used by (1)