Fix another doc comment

informalsystems · Aug 19, 2024 · feece6a · feece6a
1 parent 1985fef
commit feece6a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/quint/src/util.ts b/quint/src/util.ts
@@ -69,7 +69,12 @@ export function findMap<X, Y>(xs: Iterable<X>, f: (x: X) => Maybe<Y>): Maybe<Y>
   return none<Y>()
 }
 
-// Insert an item into an array sorted in ascending order by the given comparator.
+/** Insert an item into an array sorted in ascending order by the given comparator.
+ *
+ * Important: The array must be sorted in ascending order.
+ *
+ * Complexity: O(log n)
+ */
 export function insertSorted<A>(array: A[], item: A, cmp: (a: A, b: A) => number): void {
   if (array.length === 0) {
     array.push(item)