MissedFork.Run.message: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/missed_fork.bend as MissedFork
Lines 334-349 of bend-lint-rules@0.2.0.0/performance/missed_fork.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&start_line=334&end_line=349

import Base

def Run.message(loop: String, texts: List<&2, String> & List<&2, String>) -> String:
  match texts:
    case Tuple{+written, +called}:
      loop
        ++ " calls itself in "
        ++ count(called)
        ++ " lets that follow each other ("
        ++ String.join(Run.lets(written, called, []), ", ")
        ++ "), and these calls run one after the other. "
        ++ costs()
        ++ " To run them in parallel, merge the lets into one: `"
        ++ String.join(written, " ")
        ++ " = "
        ++ String.join(called, " ")
        ++ "`."
        ++ expected()

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=Run.lets
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=costs
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=count
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=expected