Revise User's Guide

Author: bocchino

docs/fpp-users-guide.html

@@ -12258,7 +12258,7 @@ <h4 id="Defining-Topologies_Topology-Ports_Specifying-Topology-Ports">14.5.1. Sp
 <div class="paragraph">
 <p>Here the FPP analyzer checks that <code>b.p</code> is a port of instance <code>b</code>;
 if not, an error will occur.
-It is also an error to provide specify multiple ports with
+It is also an error to specify multiple ports with
 the same name in the same topology.</p>
 </div>
 <div class="paragraph">
@@ -12284,10 +12284,8 @@ <h4 id="Defining-Topologies_Topology-Ports_Specifying-Topology-Ports">14.5.1. Sp
 <p>As usual, the FPP analyzer checks that <code>a.p</code> is an output port,
 that <code>B.p</code> is a input port, and that the types of the ports
 are compatible.
-Here <code>B.p</code> has the type of <code>b.p</code>, the actual port to which the topology port
-<code>B.p</code> is mapped,
-and <code>B.p</code> is an input port if and only if <code>b.p</code>
-is an input port.
+Here <code>B.p</code> has the direction and type of <code>b.p</code>, the actual port to which the
+topology port <code>B.p</code> is mapped.
 If these requirements aren&#8217;t met, then an error occurs.</p>
 </div>
 <div class="paragraph">
@@ -17101,7 +17099,7 @@ <h3 id="Writing-C-Plus-Plus-Implementations_Serialization-of-FPP-Values">17.4. S
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2026-03-22 18:17:56 -0700
+Last updated 2026-03-22 18:34:50 -0700
 </div>
 </div>
 <script src="code-prettify/run_prettify.js"></script>

docs/users-guide/Defining-Topologies.adoc

@@ -1134,7 +1134,7 @@ topology B {
 
 Here the FPP analyzer checks that `b.p` is a port of instance `b`;
 if not, an error will occur.
-It is also an error to provide specify multiple ports with
+It is also an error to specify multiple ports with
 the same name in the same topology.
 
 Now in topology `A`, we can write a connection to port `B.p` instead
@@ -1158,10 +1158,8 @@ topology A {
 As usual, the FPP analyzer checks that `a.p` is an output port,
 that `B.p` is a input port, and that the types of the ports
 are compatible.
-Here `B.p` has the type of `b.p`, the actual port to which the topology port 
-`B.p` is mapped,
-and `B.p` is an input port if and only if `b.p`
-is an input port.
+Here `B.p` has the direction and type of `b.p`, the actual port to which the 
+topology port `B.p` is mapped.
 If these requirements aren't met, then an error occurs.
 
 After import resolution, the result is the same as before: