package links
type channel_cancellation = {notify_ep : ProcessTypes.channel_id;cancelled_ep : ProcessTypes.channel_id;
}type incoming_websocket_message = | ClientToClient of ProcessTypes.client_id * ProcessTypes.process_id * Value.t| ClientToServer of ProcessTypes.process_id * Value.t| APRequest of ProcessTypes.process_id * ProcessTypes.apid| APAccept of ProcessTypes.process_id * ProcessTypes.apid| ChanSend of ProcessTypes.channel_id * Value.delegated_chan list * Value.t| LostMessageResponse of ProcessTypes.channel_id * (ProcessTypes.channel_id * Value.t list) list| ChannelCancellation of channel_cancellation