coq-lsp.lang
Lang.LUri
Example_plugin
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lsp
coq-lsp.plugin
fleche_waterproof
type t
val of_string : string -> t
Builds and URI from a string, like the ones present in the LSP protocol wire
val is_file_path : t -> bool
Checks if a URI points to a (local) file
module File : sig ... end
Uris that are filesystem paths