package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Baseline.File_contextSource

Sourcemodule Result : sig ... end
Sourcemodule Either : sig ... end
Sourcemodule Point : sig ... end
Sourcemodule Range : sig ... end
Sourcetype 'a t = {
  1. name : string;
  2. full_name : string;
  3. uri : string;
  4. range : Range.t;
  5. raw : string;
  6. v : 'a;
}
Sourceval map : f:('a -> 'b) -> 'a t -> 'b t
Sourceval dummy : string -> string -> 'a -> 'a t