Basic

Statistics

Metric	Count
Definitions `bind`, `bindList`, `bindM`, `run`	4
Theorems	0
Total	4

Name	Category	Theorems
`bind` 📖	CompOp	6 math math: `bind_yield_bindList`, `bind_yield`, `bind_bindList_assoc`, `bindList_cons`, `bindList_cons'`, `bind_done`
`bindList` 📖	CompOp	9 math math: `bind_yield_bindList`, `bindList_nil`, `bind_bindList_assoc`, `done_bindList`, `List.forIn_eq_bindList`, `Batteries.RBNode.forIn_visit_eq_bindList`, `bindList_cons`, `bindList_append`, `bindList_cons'`
`bindM` 📖	CompOp	—
`run` 📖	CompOp	3 math math: `run_done`, `List.forIn_eq_bindList`, `run_yield`

---