Property definitions

core $ Protocol :: STREAM
	type STREAM: Stream
lib/core/protocol.nit:17,2--20

core $ ReaderProtocol :: STREAM
	redef type STREAM: Reader
lib/core/protocol.nit:29,2--26

core $ WriterProtocol :: STREAM
	redef type STREAM: Writer
lib/core/protocol.nit:45,2--26

core $ DuplexProtocol :: STREAM
	redef type STREAM: Duplex
lib/core/protocol.nit:62,2--26

websocket $ WebsocketConnection :: STREAM
	redef type STREAM: TCPStream
lib/websocket/websocket.nit:70,2--29