- in \in{example}[ex:AvgStateRemoved]. All the parts that do not
- generate any \VHDL\ directly are crossed out, leaving just the
- actual flow of values in the final hardware. To illustrate the
- change of the types of \lam{s} and \lam{s'}, their types are also
- shown.
+ below. All the parts that do not generate any \VHDL\ directly are
+ crossed out, leaving just the actual flow of values in the final
+ hardware. To illustrate the change of the types of \lam{s} and \lam{s'},
+ their types are also shown.