Add missing docstring

informalsystems · Aug 17, 2023 · 1e0d5e6 · 1e0d5e6
1 parent 0334ffe
commit 1e0d5e6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/quint/src/names/base.ts b/quint/src/names/base.ts
@@ -100,6 +100,15 @@ export function copyNames(
   return table
 }
 
+/**
+ * Add namespaces to a definition's `namespaces` field, if it doesn't already
+ * have them on the latest position or in the beginning of its name.
+ *
+ * @param def - The definition to add the namespaces to
+ * @param namespaces - The namespaces to be added
+ *
+ * @returns The definition with the namespaces added
+ */
 export function addNamespacesToDef(def: Definition, namespaces: string[]): Definition {
   return namespaces.reduce((def, namespace) => {
     if (