def exec
import snap@1.4.0.0/main.bend as Snapimport Base
21# a program run with its arguments; the same as `run`
22def exec(argv: List<&2, String>) -> IO(String): # noqa: L001 IO entry point
23 run(argv)
import snap@1.4.0.0/main.bend as Snapimport Base
21# a program run with its arguments; the same as `run`
22def exec(argv: List<&2, String>) -> IO(String): # noqa: L001 IO entry point
23 run(argv)