def fits

bend-lint-rules@0.2.0.0 · layout/format.bend:1896

import bend-lint-rules@0.2.0.0/layout/format.bend as Format
import Base

1896# Whether the jobs fit before their first break, from col.
1897def fits(fuel: Nat, +width: U32, +col: U32, jobs: List<&2, Job>) -> Bool:
1898  fits.from(U32.is_gt(col, width), fuel, (width - col: U32), jobs)

Uses (8)

Used by (1)