def not

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

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

35def not(a: T.Lane) -> T.Lane:
36  match a:
37    case T.W{ah, al}:
38      T.W{U32.not(ah), U32.not(al)}