Snap.line: def of snap@1.5.0.0
Import: import snap@1.5.0.0/main.bend as Snap
Lines 66-68 of snap@1.5.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=snap@1.5.0.0/main.bend&start_line=66&end_line=68

import Base
import snap@1.5.0.0/src/argv.bend as Argv

# the arguments joined on newlines; the same as `cmd`
def line(argv: List<&2, String>) -> String:  # noqa: L001 src/argv.bend's law holds it (SNAP-TRUST-5)
  Argv.line(argv)

Uses (3):
  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.5.0.0/src/argv.bend&name=line