package inuit

  1. Overview
  2. Docs
type revision = {
  1. remote : int;
  2. local : int;
}

FIXME: order between clients is not competely specified (hardcoded in emacs case). A conflict resolution protocol. It lifts a synchronous socket, where patches should always be received and sent sequentially, into an asynchronous one where patches are tagged with a version number and can be concurrently sent and received.

type 'flag remote_patch =
  1. | Ack of revision
  2. | Patch of revision * 'flag Inuit_base.patch