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

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 started with its arguments and left running; the answer is its
# pid, or 0 when it could not be started or its argv was refused
def start(argv: List<&2, String>) -> IO(String):  # noqa: L001 IO entry point
  Argv.start.with(Effect.snaprun.start, 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=start.with
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/src/effect.bend&name=snaprun.start