Imports.is_before: def of bend-lint-rules@0.2.0.0 Import: import bend-lint-rules@0.2.0.0/layout/imports.bend as Imports Lines 178-186 of bend-lint-rules@0.2.0.0/layout/imports.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/layout/imports.bend&start_line=178&end_line=186 import Base # Whether `a` may come before `b`: Base first, then by path, then by alias. def is_before(a: Entry, b: Entry) -> Bool: match a b: case Entry{i, True{}, p, x, l, t} _: True{} case Entry{i, False{}, p, x, l, t} Entry{j, True{}, q, y, m, u}: False{} case Entry{i, False{}, +p, x, l, t} Entry{j, False{}, +q, y, m, u}: Bool.pick(Bool, String.eq(p, q), String.is_le(x, y), String.is_lt(p, q)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_le https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_lt https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/imports.bend&name=Entry