Assertion: multiplexer's output | /r/HasProperty | a multi-bit signal
Facets:
Source sentences:
text: The multiplexer output Out can be a multi-bit signal.