def pk.have

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:1358

import Base

1358def pk.have(done: Bool, +have: U32) -> U32:
1359  match done:
1360    case True{}:
1361      0
1362    case False{}:
1363      (have + 1 : U32)