def wscale

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/aes/poly.bend as Poly

import Base

44def wscale(n: Nat, c: Bool, w: Word(n)) -> Word(n):
45  match c:
46    case True{}:
47      w
48    case False{}:
49      Word.zero(n)

Uses (4)