--- a/src/Pure/General/linear_set.scala Tue Mar 25 15:53:54 2025 +0100
+++ b/src/Pure/General/linear_set.scala Tue Mar 25 21:24:39 2025 +0100
@@ -37,10 +37,12 @@
final class Linear_Set[A] private(
start: Option[A],
end: Option[A],
- val nexts: Map[A, A], prevs: Map[A, A])
- extends Iterable[A]
+ nexts: Map[A, A],
+ prevs: Map[A, A]
+) extends Iterable[A]
with SetOps[A, Linear_Set, Linear_Set[A]]
with IterableFactoryDefaults[A, Linear_Set] {
+
/* relative addressing */
def next(elem: A): Option[A] =