fix doclink

CQCL · Dec 3, 2024 · 1b7f9ee · 1b7f9ee
1 parent 9f0b906
commit 1b7f9ee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/hugr-core/src/ops.rs b/hugr-core/src/ops.rs
@@ -407,7 +407,7 @@ pub trait OpTrait: Sized {
     }
 
     /// Apply a type-level substitution to this OpType, i.e. replace
-    /// [type variables](Type::Variable) with new types.
+    /// [type variables](crate::types::TypeArg::new_var_use) with new types.
     fn substitute(self, _subst: &Substitution) -> Self {
         self
     }

diff --git a/hugr-core/src/ops/dataflow.rs b/hugr-core/src/ops/dataflow.rs
@@ -51,7 +51,7 @@ pub trait DataflowOpTrait: Sized {
     }
 
     /// Apply a type-level substitution to this OpType, i.e. replace
-    /// [type variables](Type::Variable) with new types.
+    /// [type variables](TypeArg::new_var_use) with new types.
     fn substitute(self, _subst: &Substitution) -> Self;
 }