package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val compare : t -> t -> int

compare

val hash : t -> int

hash

OCaml

Innovation. Community. Security.