{cfg : IO.Process.StdioConfig} →
  ℕ →
    IO.Process.Child cfg →
      Task (Except IO.Error String) →
        Task (Except IO.Error String) → Lean.CoreM (Lean.Elab.Tactic.BVDecide.External.TimedOut IO.Process.Output)