package coq-lsp

  1. Overview
  2. Docs
module Point : sig ... end
module Range : sig ... end
module Diagnostic : sig ... end
val to_range : Loc.t -> Range.t

XXX specific to Coq

val to_orange : Loc.t option -> Range.t option