Comments

hugr-core/src/export.rs

@@ -877,6 +877,7 @@ impl<'a> Context<'a> {
         let mut items = BumpVec::with_capacity_in(capacity, self.bump);
 
         for ext in ext_set.iter() {
+            // `ExtensionSet`s represent variables by extension names that parse to integers.
             match ext.parse::<u16>() {
                 Ok(var) => {
                     let node = self.local_scope.expect("local variable out of scope");

hugr-model/src/v0/mod.rs

@@ -569,11 +569,9 @@ pub enum Term<'a> {
         r#type: TermId,
     },
 
-    /// A list.
+    /// A list. May include individual items or other lists to be spliced in.
     List {
         /// The items in the list.
-        ///
-        /// `item-i : item-type`
         items: &'a [ListItem],
     },