def enc.zero

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

import Base

1242def enc.zero(short: Bool, +have: U32, +need: U32) -> U32:
1243  match short:
1244    case True{}:
1245      (need - have : U32)
1246    case False{}:
1247      0