These type families calculate the boundary clocks of a clock tree in the sequential direction. The Leftmost clock ticks whenever data enters the network, the Rightmost clock ticks whenever data leaves the network. So it's actually a quite asymmetric concept, and so the names shouldn't be symmetric. Also, the names force a view of data going from left to right, which is just an arbitrary convention. So we should rename Leftmost to In and Rightmost to Out, if this doesn't name clash with anything important.
These type families calculate the boundary clocks of a clock tree in the sequential direction. The
Leftmost
clock ticks whenever data enters the network, theRightmost
clock ticks whenever data leaves the network. So it's actually a quite asymmetric concept, and so the names shouldn't be symmetric. Also, the names force a view of data going from left to right, which is just an arbitrary convention. So we should renameLeftmost
toIn
andRightmost
toOut
, if this doesn't name clash with anything important.