~/jendhub

def print.is_flat

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

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

1941def print.is_flat(
1942  flat: Bool,
1943  fuel: Nat,
1944  +width: Maybe<&2, U32>,
1945  col: U32,
1946  jobs: List<&2, Job>
1947) -> Bool:
1948  match flat width:
1949    case True{} _:
1950      True{}
1951    case False{} None{}:
1952      True{}
1953    case False{} Some{w}:
1954      fits(fuel, w, col, jobs)

Uses (7)

Used by (1)