def and

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha512.bend:30

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T

30def and(a: T.Lane, b: T.Lane) -> T.Lane:
31  match a b:
32    case T.W{ah, al} T.W{bh, bl}:
33      T.W{U32.and(ah, bh), U32.and(al, bl)}