Extend comment that TypeArg::Variable's are not row-vars

CQCL · May 14, 2024 · 2e53529 · 2e53529
1 parent 5a8bf88
commit 2e53529
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/hugr/src/types/type_param.rs b/hugr/src/types/type_param.rs
@@ -170,8 +170,9 @@ pub enum TypeArg {
         #[allow(missing_docs)]
         es: ExtensionSet,
     },
-    /// Variable (used in type schemes only), that is not a [TypeArg::Type]
-    /// or [TypeArg::Extensions] - see [TypeArg::new_var_use]
+    /// Variable (used in type schemes or inside polymorphic functions),
+    /// but not a [TypeArg::Type] (not even a row variable i.e. [TypeParam::List] of type)
+    /// nor [TypeArg::Extensions] - see [TypeArg::new_var_use]
     Variable {
         #[allow(missing_docs)]
         #[serde(flatten)]