def best.of
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
import emerging-ezaudio@0.4.0.0/src/mp3_tab.bend as Tab
660def best.of(ix: List<&2, U32>) -> Best:
661 best.fin(bs.of(best.go(hp.cands(), ix, Bs{code.of(), Best{0, 0, [], 0}}, Tab.tab.lin())))