def br.one.at

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

import Base

188def br.one.at(br: Br) -> Bit:
189  match br:
190    case Br{xs, +buf, +n}:
191      bit.at(U32.is_eq(n, 0), xs, buf, n)