Revision as of 13:38, 3 August 2024 by imported>Maëlan(the given sources describe "structural abstraction" / "datastructural bootstrapping" only for persistent data structures; I think it can also be done for imperative data structures, but it is not entirely obvious, and it doesn’t tell how to implement ''decrease-min''; also, shorten some bits of this footnote)