fix formatting

anoma · Oct 22, 2024 · 253d348 · 253d348
1 parent 5c44bff
commit 253d348
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Stdlib/Data/Set/AVL.juvix b/Stdlib/Data/Set/AVL.juvix
@@ -335,7 +335,6 @@ filter {A} {{Ord A}} (predicate : A -> Bool) (tree : AVLTree A) : AVLTree A :=
       | predicate x := insert x acc
       | else := acc};
 
---- O(n log n). Partition the set into two sets, one with all elements that satisfy the predicate and one with all elements that don't satisfy the predicate.
 syntax iterator partition {init := 0; range := 1};
 partition {A} {{Ord A}} (predicate : A -> Bool) (tree : AVLTree A) : Pair (AVLTree A) (AVLTree A) :=
   for (trueSet, falseSet := empty, empty) (x in tree)