def Process.run

Base · base.bend:204

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