coq-lsp.lang
LUri.File
Uris that are filesystem paths
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lsp
fleche_waterproof
type uri = t
type t
val of_uri : uri -> (t, string) Result.t
val extension : t -> string
Extension, with the dot included
val to_string_uri : t -> string
Percent-enconded URI as string
val to_string_file : t -> string
Filename version, fit for OS functions