def split.flip

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

import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc
import Base

1442def split.flip(z: Bool) -> U32:
1443  match z:
1444    case True{}:
1445      1
1446    case False{}:
1447      0

Uses (2)

Used by (1)