Use definitions from wire-protocol.rkt in federation

syndicate/broker/federation.rkt

@@ -1,16 +1,12 @@
 #lang imperative-syndicate
 
-(provide (struct-out Assert)
-         (struct-out Clear)
-         (struct-out Add)
-         (struct-out Del)
-         (struct-out Msg)
-         (struct-out router-connection)
+(provide (struct-out router-connection)
          (struct-out router-inbound)
          (struct-out router-outbound))
 
-(require racket/set)
+(require "wire-protocol.rkt")
 (require imperative-syndicate/bag)
+(require racket/set)
 
 ;; Node IDs must be dataspace-unique.
 ;;
@@ -36,15 +32,6 @@
 ;; BIDIRECTIONAL, travelling in both directions along edges linking
 ;; peer nodes.
 
-;; Actions - like the client/server protocol, but lacking Message
-(message-struct Assert (endpoint-name assertion))
-(message-struct Clear (endpoint-name))
-
-;; Events
-(message-struct Add (endpoint-name captures))
-(message-struct Del (endpoint-name captures))
-(message-struct Msg (endpoint-name captures))
-
 ;; Connection protocol
 (assertion-struct router-connection (node-id connection-id))
 (message-struct router-inbound (connection-id body))

syndicate/broker/tf.rkt

@@ -3,6 +3,7 @@
 (require imperative-syndicate/pattern)
 
 (require/activate imperative-syndicate/drivers/timer)
+(require/activate "wire-protocol.rkt")
 (require/activate "federation.rkt")
 
 (assertion-struct present (who))