def W2.bit.at

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

import Base

87def W2.bit.at(low: Bool, n: U32, hi: U32, lo: U32) -> U32:
88  match low:
89    case True{}:
90      ((lo >> U32.to_nat(n)) .&. 1 : U32)
91    case False{}:
92      ((hi >> U32.to_nat((n - 32 : U32))) .&. 1 : U32)