package coq-lsp

  1. Overview
  2. Docs

Checking targets, this specifies what we expect check to reach

type t =
  1. | End
  2. | Position of int * int
val reached : range:Lang.Range.t -> (int * int) -> bool

reached ~range (line,col) checks if (line,col) are before range's end.

OCaml

Innovation. Community. Security.