Foreign.lack: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/foreign.bend as Foreign
Lines 52-61 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=52&end_line=61

import Base

# what the lanes lack, as a message ("" for nothing)
def lack(mm: Maybe<&2, Lanes>, +native: Bool, +name: String) -> String:
  match mm:
    case None{}:
      ""
    case Some{Lanes{+c, +js}}:
      Bool.pick(String, Bool.and(c, Bool.and(Bool.not(js), Bool.not(native))),
        "Foreign def " ++ name ++ " has a .c body but no .js body, so it cannot run on the JS lane.",
        Bool.pick(String, Bool.and(js, Bool.not(c)),
          "Foreign def " ++ name ++ " has a .js body but no .c body, so it cannot run in a native build.", ""))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/foreign.bend&name=Lanes