diff --git a/quint/src/names/base.ts b/quint/src/names/base.ts
index c6e723fc7..6bd340253 100644
--- 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 (