def walk.fin
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
620def walk.fin(seek: Bool, have: Bool, +hz: U32, +ch: U32, pcm: List<&2, U32>) -> Maybe<&2, Pcm>:
621 match seek:
622 case False{}:
623 None{}
624 case True{}:
625 walk.done(have, hz, ch, pcm)