Module Interp.ActionSource

Sourcetype t =
  1. | Now of token:Coq.Limits.Token.t -> json_rpc_result
  2. | Doc of {
    1. uri : Lang.LUri.File.t;
    2. handler : token:Coq.Limits.Token.t -> doc:Fleche.Doc.t -> json_rpc_result;
    }
  3. | Pos of {
    1. uri : Lang.LUri.File.t;
    2. point : int * int;
    3. handler : token:Coq.Limits.Token.t -> doc:Fleche.Doc.t -> point:(int * int) -> json_rpc_result;
    }