def Gf128.and_mask

bend-osdev-gf@0.1.1.0 · gf128.bend:85

import Base

85def Gf128.and_mask(a: Gf128, +m: U32) -> Gf128:
86  match a:
87    case Gf128{w0, w1, w2, w3}:
88      Gf128{U32.and(w0, m), U32.and(w1, m), U32.and(w2, m), U32.and(w3, m)}