Robuta

https://coverage.postgresql.org/src/backend/lib/pairingheap.c.gcov.html LCOV - PostgreSQL 19devel - src/backend/lib/pairingheap.c lcov postgresql src backend lib https://leanprover-community.github.io/mathlib4_docs/Batteries/Data/PairingHeap.html Batteries.Data.PairingHeap batteries data https://doxygen.postgresql.org/pairingheap_8c.html PostgreSQL Source Code: src/backend/lib/pairingheap.c File Reference source code postgresql src backend lib