Process.run: def of Base
Import: import Base
Lines 204-210 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=204&end_line=210

import Base

# Runs an argv subprocess on C, Bun and Node, without a shell.
# max_output bounds combined stdout/stderr bytes; timeout_ms includes pipe draining.
def Process.run(program: String, args: List<String>, input: String,
  max_output: U32, timeout_ms: U32) ->
  IO(Result<&1, &1, U32 & String, U32 & (String & String)>):
  import "./effs/process_run.c"
  import "./effs/process_run.js"

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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32