Frozen heap: a design proposal for an ancient-like heap#36

Open

gasche wants to merge 1 commit intoocaml:masterfrom gasche:frozen-heap

+115

Commits on Jan 16, 2024

Frozen heap: first draft
gasche
committed