1. CLRS-Lean
  2. Chapter 23. Minimum Spanning Trees
  3. 23.2. Kruskal and Prim
  4. Executable Prim
Imports
import CLRSLean.FourthEdition.Chapter_21.Section_21_2_Kruskal_And_Prim.S3_ExecutablePrim

Section 23.2 - Executable indexed-queue Prim (legacy compatibility path)

Third-edition-numbered compatibility path for executable indexed-queue Prim. The canonical fourth-edition source is CLRSLean.FourthEdition.Chapter_21.Section_21_2_Kruskal_And_Prim.S3_ExecutablePrim; this module forwards to it so legacy imports keep working during the compatibility period (see docs/migrations/clrs4.md).