Wrap.check.shares: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap Lines 757-763 of bolt@1.27.0.0/src/rules/style/wrap.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&start_line=757&end_line=763 import Base import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy # another parameter already sits on this line def check.shares(spans: List<&2, Span>, +ln: U32) -> Bool: match spans: case Nil{}: False{} case Con{Span{+line, _end, _col}, rest}: Lazy.or_else(U32.is_eq(line, ln), _u => check.shares(rest, ln)) 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=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=or_else https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=Span