PipeWidth: BitCount

Type representing the width of a Pipe endpoint, measured in bits.