Module Theory.RequestSource

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

Add a request to be served; returns true if request is added to the queue , false if the request can be already answered.

Sourceval remove : t -> unit

Removes the request from the list of things to wake up