PersistentHashMap
📁 Source: Batteries/Lean/PersistentHashMap.lean
Statistics
| Metric | Count |
|---|---|
| 6 | |
| Theorems | 0 |
| Total | 6 |
Lean.PersistentHashMap
Definitions
| Name | Category | Theorems |
|---|---|---|
mergeWith 📖 | CompOp | — |
mergeWithM 📖 | CompOp | — |
ofArray 📖 | CompOp | — |
ofArrayWith 📖 | CompOp | — |
ofList 📖 | CompOp | — |
ofListWith 📖 | CompOp | — |
---