docs: reword type propagation

CQCL · Jul 1, 2024 · 1cb6ec3 · 1cb6ec3
1 parent f7d2ead
commit 1cb6ec3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/hugr-py/src/hugr/cfg.py b/hugr-py/src/hugr/cfg.py
@@ -53,8 +53,8 @@ class Cfg(ParentBuilder[ops.CFG]):
     being a :class:`CFG <hugr.ops.CFG>`.
 
     Args:
-        input_types: The input types for the CFG, outputs are propagated through
-        the graph to the exit block.
+        input_types: The input types for the CFG, outputs are computed
+        by propagating types through the control flow graph to the exit block.
 
     Examples:
         >>> cfg = Cfg(tys.Bool, tys.Unit)

diff --git a/hugr-py/src/hugr/function.py b/hugr-py/src/hugr/function.py
@@ -24,7 +24,7 @@ class Function(_DfBase[ops.FuncDefn]):
     Args:
         name: The name of the function.
         input_types: The input types for the function (output types are
-        propagated through the graph to the output).
+        computated by propagating types from input node through the graph).
         type_params: The type parameters for the function, if polymorphic.
 
     Examples: