def tool

cswap-bend-cli@0.1.0.0 · fs.bend:39

import cswap-bend-cli@0.1.0.0/fs.bend as Fs

import Base

39def tool(program: String, args: List<String>) -> IO(Res(String)):
40  IO.bind(Result<&1, &1, U32 & String, U32 & (String & String)>, Res(String),
41    Process.run(program, args, "", proc.max(), proc.timeout()),
42    r => IO.pure(Res(String), tool.out(r)))

Uses (13)

Used by (3)