completely ignore the argument and generate no input port for it.
\desc{State variables can be extracted from other state variables.} When
extracting a state variable from another state variable, this always means
we're extracting a substate, which we can ignore. So, we simply generate no
completely ignore the argument and generate no input port for it.
\desc{State variables can be extracted from other state variables.} When
extracting a state variable from another state variable, this always means
we're extracting a substate, which we can ignore. So, we simply generate no