From f6cb595709ce1b690402b2af38bedd0df5d952d4 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 15 Jun 2021 12:36:25 +0200
Subject: [PATCH] Add ConnectionPeer assertions; rename TcpOutbound ->
 TcpRemote and TcpInbound -> TcpLocal

---
 tcp.prs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tcp.prs b/tcp.prs
index ad854f8..02714a0 100644
--- a/tcp.prs
+++ b/tcp.prs
@@ -4,8 +4,8 @@ embeddedType EntityRef.Ref .
 Connection = <connection @handle #!ActiveSocket @spec any>.
 ConnectionPeer = <connection-peer @handle #!ActiveSocket @spec any>.
 
-TcpOutbound = <outbound @host string @port int>.
-TcpInbound = <inbound @host string @port int>.
+TcpRemote = <remote @host string @port int>.
+TcpLocal = <local @host string @port int>.
 
 ActiveSocket =
   / <controller @controller #!Sink>