def frm.fit
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
451def frm.fit(+xs: List<&2, U32>, +nn: U32) -> Bool:
452 le.u(nn, U32.from_nat(List.length(&2, U32, xs)))
Uses (6)
Used by (0)
No other definition uses this definition.