Foreign.lanes: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/foreign.bend as Foreign
Lines 43-50 of bolt@1.27.0.0/src/rules/pedantic/foreign.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/foreign.bend&start_line=43&end_line=50

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

# the lanes of a def's body: None unless it is a foreign def
def lanes(body: Tree.Node) -> Maybe<&2, Lanes>:
  match body:
    case Tree.NCons{Tree.Stmt{Tree.SImport{}, kids, ib}, rest}:
      +t = target(kids)
      lanes.go(rest, String.ends_with(t, ".c\""), String.ends_with(t, ".js\""))
    case other:
      None{}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.ends_with
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/foreign.bend&name=Lanes
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/foreign.bend&name=lanes.go
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/foreign.bend&name=target
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=StmtKind