We previously had an argument for this in Prim, and while that works, it's entangling two separate concerns; didn't really matter for the code too much, but with the explicit constructor it's slightly cleaner, and it matters for the exposition in the paper.
We previously had an argument for this in
Prim, and while that works, it's entangling two separate concerns; didn't really matter for the code too much, but with the explicit constructor it's slightly cleaner, and it matters for the exposition in the paper.