Module Theory.RequestSource

Sourcetype request =
  1. | Immediate
  2. | FullDoc
  3. | PosInDoc of {
    1. point : int * int;
    2. version : int option;
    }
Sourcetype t = {
  1. id : int;
  2. uri : Lang.LUri.File.t;
  3. postpone : bool;
  4. request : request;
}
Sourcetype action =
  1. | Now of Doc.t
  2. | Postpone
  3. | Cancel
Sourceval add : t -> action

Add a request to be served; returns Postpone if request is added to the queue, Now doc if the request is available. Cancel means "we will never be able to serve this"

Sourceval remove : t -> unit

Removes the request from the list of things to wake up