~/jendhub

def fits.go

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

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

1880def fits.go(fuel: Nat, f: Fit) -> Bool:
1881  match fuel f:
1882    case _ Stop{b}:
1883      b
1884    case 0n Go{jobs, left}:
1885      True{}
1886    case 1n+k Go{jobs, left}:
1887      fits.go(k, fits.step(jobs, left))

Uses (4)

Used by (1)