Characteristic predicate ServerWebSocket :: SendNode :: SendNode
SendNode
(
)