commit: b8faf416afe219c05c16871eeaf99cafaafb1341

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 05 11:51:19 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 05 11:53:18 2026 -0800
tree: 7368d672e0105abe93f147a056b9808a8eb5f24d
parent: 7376772cbd49e8214e093ebb5031e139ef0141dd [diff]

perf: add `PersistentHashMap.findKeyD` and `PersistentHashSet.findD`

This PR implements `PersistentHashMap.findKeyD` and
`PersistentHashSet.findD`. The motivation is avoid two memory
allocations (`Prod.mk` and `Option.some`) when the collections
contains the key.

3 files changed

tree: 7368d672e0105abe93f147a056b9808a8eb5f24d

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.