package coq-lsp

  1. Overview
  2. Docs

Uris that are filesystem paths

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

OCaml

Innovation. Community. Security.