1. CLRS-Lean
  2. Chapter 19. Fibonacci Heaps
  3. 19.1. Fibonacci Heap Model
  4. Legacy Import: Executable Fibonacci Heap
Imports
import CLRSLean.Chapter_19.Section_19_2_Mergeable_Heap_Operations

Legacy import: executable Fibonacci heap

This compatibility module preserves the former import path. The canonical Section 19.2 implementation now lives in CLRSLean.Chapter_19.Section_19_2_Mergeable_Heap_Operations.