def Gf8Bits.sel

bend-osdev-gf@0.1.1.0 · gf.bend:69

import Base

69# a if t, else zero
70def Gf8Bits.sel(t: Bool, a: Gf8Bits) -> Gf8Bits:
71  match t:
72    case True{}:
73      a
74    case False{}:
75      Gf8Bits.zero()