Snap.run: def of snap@1.4.0.0
Import: import snap@1.4.0.0/main.bend as Snap
Lines 16-19 of snap@1.4.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=snap@1.4.0.0/main.bend&start_line=16&end_line=19

import Base
import snap@1.4.0.0/src/effect.bend as Effect
import snap@1.4.0.0/src/argv.bend as Argv

# a program run with its arguments: the exit status on its own first line,
# then stdout and stderr together. A refused argv answers 127 and runs nothing.
def run(argv: List<&2, String>) -> IO(String):  # noqa: L001 IO entry point
  Argv.run.with(Effect.snaprun.exec, Argv.run.plan(argv))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/src/argv.bend&name=run.plan
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/src/argv.bend&name=run.with
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/src/effect.bend&name=snaprun.exec