def best.better

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

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

589def best.better(+bok: U32, +bn: U32, +ok: U32, +nn: U32) -> Bool:
590  best.and(U32.is_eq(ok, 1), best.or(U32.is_eq(bok, 0), U32.is_lt(nn, bn)))

Uses (6)

Used by (1)