def bit.at

emerging-ezaudio@0.4.0.0 · src/mp3.bend:181

import Base

181def bit.at(z: Bool, xs: List<&2, U32>, +buf: U32, +n: U32) -> Bit:
182  match z:
183    case True{}:
184      Bit{xs, buf, n, 0}
185    case False{}:
186      Bit{xs, buf, (n - 1 : U32), ((buf >> U32.to_nat((n - 1 : U32)) : U32) .&. 1 : U32)}