package coq-lsp

  1. Overview
  2. Docs
module type Point = sig ... end
module LineCol : Point with type t = int * int
module Offset : Point with type t = int
type approx =
  1. | Exact
    (*

    Exact on point

    *)
  2. | PrevIfEmpty
    (*

    If no match, return prev

    *)
  3. | Prev
    (*

    If no match, return prev, if match, too

    *)
module type S = sig ... end

Located queries

module LC : S with module P := LineCol
module O : S with module P := Offset