def W2.shl.small

bend-kit-f64@0.1.0.0 · f64.bend:131

import Base

131def W2.shl.small(z: Bool, +k: U32, hi: U32, +lo: U32) -> W2:
132  match z:
133    case True{}:
134      W2{hi, lo}
135    case False{}:
136      W2{((hi << U32.to_nat(k)) .|. (lo >> U32.to_nat((32 - k : U32))) : U32), (lo << U32.to_nat(k) : U32)}