Process

📁 Source: Batteries/Lean/IO/Process.lean

Statistics

Metric	Count
Definitions runCmdWithInput, runCmdWithInput'	2
Theorems	0
Total	2

IO.Process

Definitions

Name	Category	Theorems
runCmdWithInput 📖	CompOp	—
runCmdWithInput' 📖	CompOp	—

---

← Back to Index