Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(data/ordmap/ordset): Implement some more ordset functions #8127

Closed
wants to merge 1 commit into from

Implement (with proofs) `erase`, `map`, and `mem` for `ordset` in

9c6dd43
Select commit
Loading
Failed to load commit list.
Closed

[Merged by Bors] - feat(data/ordmap/ordset): Implement some more ordset functions #8127

Implement (with proofs) `erase`, `map`, and `mem` for `ordset` in
9c6dd43
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs